|
|
|
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png)
star-free
|
(Definition)
|
|
"star-free" is owned by CWoo.
|
|
(view preamble | get metadata)
See Also: star height
| Other names: |
star free, non-counting, noncounting |
This object's parent.
|
|
Cross-references: locally testable, chain, regular, integer, iff, proposition, substitutions, empty word, representable, strict, inclusion, represents, infinite, contains, Boolean, closed under, easy to see, finite languages, relations, representations, star height, characterization, number, subsets, singleton, atomic languages, concatenation, union, operations, alphabet, finite, induction, limits, Kleene star, regular languages, expressions, power, generalized regular expressions, regular expressions, languages
There are 3 references to this entry.
This is version 13 of star-free, born on 2009-07-28, modified 2009-09-22.
Object id is 11850, canonical name is StarFree.
Accessed 557 times total.
Classification:
| AMS MSC: | 68Q45 (Computer science :: Theory of computing :: Formal languages and automata) | | | 68Q42 (Computer science :: Theory of computing :: Grammars and rewriting systems) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
