Concatenation of inputs in a two-way automaton (Q1115636)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Concatenation of inputs in a two-way automaton |
scientific article |
Statements
Concatenation of inputs in a two-way automaton (English)
0 references
1989
0 references
To every input string of a two-way automaton one associates a quadruple of partial functions (or relations) between the states. This quadruple describes the behavior of the automaton on that input, and can also be used to formulate acceptance, or notions like the crossing sequence. Formulas are given that show how two such quadruples are combined (``multiplied'') as their corresponding input strings are concatenated.
0 references
concatenation of inputs
0 references
two-way transformation semigroups
0 references
subset construction
0 references
crossing sequence
0 references
global transition maps
0 references
Birget semigroup
0 references
two-way automaton
0 references
