Automata Presenting Structures: A Survey of the Finite String Case (Q3503740)
From MaRDI portal
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
