|
|
|
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png)
Kleene's theorem
|
(Theorem)
|
|
"Kleene's theorem" is owned by CWoo.
|
|
(view preamble | get metadata)
Cross-references: infinite words, infinite, monoid, free monoid, finitely generated, elements, edges, left hand side, component, right hand side, identity, indices, length, induction, fix, integers, positive, states, index, Kleene star, concatenation, union, operations, sequence, nodes, path, label, complete, proof, juxtaposition of automata, automata, atomic languages, regular language, necessity, sufficiency, state diagram, directed graph, theorem, automaton, finite, iff, alphabet, language
There is 1 reference to this entry.
This is version 4 of Kleene's theorem, born on 2009-09-04, modified 2009-09-05.
Object id is 11899, canonical name is KleenesTheorem.
Accessed 343 times total.
Classification:
| AMS MSC: | 68Q05 (Computer science :: Theory of computing :: Models of computation ) | | | 68Q42 (Computer science :: Theory of computing :: Grammars and rewriting systems) | | | 03D10 (Mathematical logic and foundations :: Computability and recursion theory :: Turing machines and related notions) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
