A 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...

Parikh`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...

Computer 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...

Let 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...

At 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...

Here is our algebra page. In earlier class sections I defined monoids, the two sided equivalence relation for a language, the syntactic monoid, aperiodic monoids,...

Here 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...

A 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...

Buchi`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...

Descriptive complexity is the study of the relative difficulty of formal languages based on the syntactic resources needed to create logical formulas defining them...

This 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...

UMass 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...

Top Menu of H401 Web This topic defines the menu structure of the H401 web, used by the TopMenuSkin. 1 Web` Create New Topic...

UMass CS EdLab`s H401 web The 1 web of TWiki. TWiki is a Web Based Collaboration Platform for the Enterprise.

/H401 The 1 web of TWiki. TWiki is a Web Based Collaboration Platform for the Enterprise.

Web Web Home Changes Index Search Webs

WebSearch WebChanges WebIndex WebTopicList

Statistics for H401 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads...

Show 10, 20, **50**, 100, 500, 1000 results per page, or show all.

** Related topics:** RSS feed, ATOM feed, WebNotify, site changes, site map

Edit | Attach | Print version | History: r1 | Backlinks | Raw View | Raw edit | More topic actions

Topic revision: r1 - 2006-11-15 - TWikiContributor

Copyright © 2008-2019 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.

Ideas, requests, problems regarding UMass CS EdLab? Send feedback

Ideas, requests, problems regarding UMass CS EdLab? Send feedback