Concatenation of inputs in a two-way automaton (Q1115636): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1016/0304-3975(89)90075-3 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W1985201105 / rank | |||
Normal rank | |||
Revision as of 19:42, 19 March 2024
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
