Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
symbolic dynamical system
|
| gptkbp:characterizedBy |
gptkb:finite_automata
|
| gptkbp:definedIn |
subshift that is the image of a shift of finite type under a sliding block code
|
| gptkbp:field |
gptkb:mathematics
gptkb:symbolic_dynamics dynamical systems |
| gptkbp:generalizes |
shift of finite type
|
| gptkbp:hasProperty |
can be described by forbidden words
|
| gptkbp:heldBy |
subshift
topological dynamical system |
| https://www.w3.org/2000/01/rdf-schema#label |
sofic shift
|
| gptkbp:introduced |
gptkb:Robert_F._Williams
1973 |
| gptkbp:is_closed_under |
complementation
factor maps finite intersection finite union |
| gptkbp:is_not_necessarily |
shift of finite type
|
| gptkbp:relatedTo |
regular languages
|
| gptkbp:represents |
labeled directed graph
|
| gptkbp:bfsParent |
gptkb:symbolic_dynamics
|
| gptkbp:bfsLayer |
6
|