Algebraic Theory of Automata
GPTKB entity
Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:academic
|
| gptkbp:analyzes |
gptkb:finite_automata
regular languages |
| gptkbp:appliesTo |
algebraic methods
|
| gptkbp:hasApplication |
circuit complexity
language recognition |
| gptkbp:hasConcept |
Eilenberg's theorem
Krohn–Rhodes theorem syntactic monoid transition monoid varieties of languages |
| gptkbp:hasKeyContributor |
gptkb:John_Rhodes
gptkb:Samuel_Eilenberg gptkb:Marcel-Paul_Schützenberger |
| http://www.w3.org/2000/01/rdf-schema#label |
Algebraic Theory of Automata
|
| gptkbp:relatedTo |
gptkb:theoretical_computer_science
formal languages |
| gptkbp:studies |
automata
|
| gptkbp:uses |
groups
monoids semigroups |
| gptkbp:bfsParent |
gptkb:Abraham_Ginzburg
|
| gptkbp:bfsLayer |
7
|