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 the normal view instead:
scientific article; zbMATH DE number 5285642
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Automata Presenting Structures: A Survey of the Finite String Case |
scientific article; zbMATH DE number 5285642 |
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.8993151
0 references
0.89582056
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
0.8663555
0 references
