Automata Presenting Structures: A Survey of the Finite String Case (Q3503740)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Automata Presenting Structures: A Survey of the Finite String Case |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automata Presenting Structures: A Survey of the Finite String Case |
scientific article |
Statements
Automata Presenting Structures: A Survey of the Finite String Case (English)
0 references
9 June 2008
0 references
first-order logic
0 references
monadic second order logic
0 references
logical structure
0 references
first order logic of countable many predicates
0 references
finite automaton
0 references
strings and trees over finite alphabet
0 references
recognisability by finite automata and definability by logical formula
0 references
decidability problem for finite automata and logical structures
0 references
relationship between definability and recognisability
0 references
0 references
0.8917428
0 references
0.8883578
0 references
0.86929923
0 references
0.8691709
0 references
0.86856467
0 references
0.8671456
0 references
