UMass CS EdLab's H401 webThe H401 web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise.https://twiki-edlab.cs.umass.edu/bin/view/H401Copyright 2019 by contributing authors2013-02-15T21:43:53ZSemilinearSetshttps://twiki-edlab.cs.umass.edu/bin/view/H401/SemilinearSets2013-02-15T21:43:53ZA linear set is any set of the form a span (b1,..., bk). Here the plus sign means set addition: X Y {a b: a in X and b in Y}. The span of a set S is the set... (last changed by BarrinG)BarrinGParikhSTheoremhttps://twiki-edlab.cs.umass.edu/bin/view/H401/ParikhSTheorem2013-02-11T21:09:45ZParikh`s Theorem is a result in formal language theory that will occupy us for much of the 2013 H401 seminar. Let A be a nonempty alphabet with d letters. The Parikh... (last changed by BarrinG)BarrinGWebHomehttps://twiki-edlab.cs.umass.edu/bin/view/H401/WebHome2013-02-07T16:52:29ZComputer Science H401 Honors Colloquium for CMPSCI 401 Wiki This wiki was started by the instructor and students of CMPSCI H401 in Spring 2012. It contains material... (last changed by BarrinG)BarrinGProgramOverAMonoidhttps://twiki-edlab.cs.umass.edu/bin/view/H401/ProgramOverAMonoid2012-05-11T19:58:50ZLet M be a finite monoid . A program over M is a sequence of instructions (i, x, y) where i is a number in {1,..,n} and x and y are elements of M. The program computes... (last changed by NkanthaV)NkanthaVCircuitshttps://twiki-edlab.cs.umass.edu/bin/view/H401/Circuits2012-05-11T16:49:49ZAt the end of the regular 401 class we will talk about circuit complexity, the study of the resources needed to decide a formal language with a circuit family. If... (last changed by NkanthaV)NkanthaVAlgebrahttps://twiki-edlab.cs.umass.edu/bin/view/H401/Algebra2012-05-10T09:59:35ZHere is our algebra page. In earlier class sections I defined monoids, the two sided equivalence relation for a language, the syntactic monoid, aperiodic monoids,... (last changed by CcpoweR)CcpoweRAutomataTheoryhttps://twiki-edlab.cs.umass.edu/bin/view/H401/AutomataTheory2012-05-03T20:00:43ZHere is a nice new page to describe automata theory results. In class on 27 Feb we mentioned Buchi`s Theorem (proved at the link), that a language is regular iff... (last changed by BarrinG)BarrinGMonoidhttps://twiki-edlab.cs.umass.edu/bin/view/H401/Monoid2012-04-30T14:57:51ZA monoid is a set with an operation that is associative and has an identity element. Any finite monoid can be represented as a set of functions from a finite set to... (last changed by BarrinG)BarrinGBuchiSTheoremhttps://twiki-edlab.cs.umass.edu/bin/view/H401/BuchiSTheorem2012-04-23T01:19:01ZBuchi`s Theorem A language is definable in second order monadic logic if and only if it is regular. Proof Regular Second order monadic Let L be a regular language... (last changed by SvorotnI)SvorotnIDescriptiveComplexityhttps://twiki-edlab.cs.umass.edu/bin/view/H401/DescriptiveComplexity2012-04-22T21:04:18ZDescriptive complexity is the study of the relative difficulty of formal languages based on the syntactic resources needed to create logical formulas defining them... (last changed by SvorotnI)SvorotnIWebNotifyhttps://twiki-edlab.cs.umass.edu/bin/view/H401/WebNotify2012-04-08T17:30:00ZThis is a subscription service to be automatically notified by e mail when topics change in this H401 web. This is a convenient service, so you do not have to come... (last changed by DstubbS)DstubbSWebPreferenceshttps://twiki-edlab.cs.umass.edu/bin/view/H401/WebPreferences2012-02-27T20:19:06ZUMass CS EdLab.H401 Web Preferences The following settings are web preferences of the UMass CS EdLab.H401 web. These preferences overwrite the site level preferences... (last changed by BarrinG)BarrinGWebTopMenuhttps://twiki-edlab.cs.umass.edu/bin/view/H401/WebTopMenu2011-07-28T22:00:09ZTop Menu of H401 Web This topic defines the menu structure of the H401 web, used by the TopMenuSkin. 1 Web` Create New Topic... (last changed by TWikiContributor)TWikiContributorWebTopicListhttps://twiki-edlab.cs.umass.edu/bin/view/H401/WebTopicList2006-11-15T19:43:52Z (last changed by TWikiContributor)TWikiContributorWebSearchAdvancedhttps://twiki-edlab.cs.umass.edu/bin/view/H401/WebSearchAdvanced2006-11-15T19:43:52Z (last changed by TWikiContributor)TWikiContributorWebIndexhttps://twiki-edlab.cs.umass.edu/bin/view/H401/WebIndex2006-11-15T19:43:52Z (last changed by TWikiContributor)TWikiContributor