Positional simulation of two-way automata: Proof of a conjecture of R. Kannan and generalizations (Q1201150): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q123298544, #quickstatements; #temporary_batch_1706301185450 |
Set OpenAlex properties. |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Jean-Camille Birget / rank | |||
Property / author | |||
Property / author: Jean-Camille Birget / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Arbitrary vs. regular semigroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Concatenation of inputs in a two-way automaton / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On equations for regular languages, finite automata, and sequential networks / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Alternation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4198056 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4133162 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: One-tape, off-line Turing machine computations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3862379 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Alternating Pushdown and Stack Automata / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3741089 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5526130 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5541340 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nondeterminism and the size of two way finite automata / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0022-0000(92)90045-k / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2079856360 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:57, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Positional simulation of two-way automata: Proof of a conjecture of R. Kannan and generalizations |
scientific article |
Statements
Positional simulation of two-way automata: Proof of a conjecture of R. Kannan and generalizations (English)
0 references
17 January 1993
0 references
non-deterministic two-way finite automaton
0 references
deterministic two-way finite automaton
0 references
finite monoids
0 references
alternating two-way finite automata
0 references
alternating one-tape linear-time Turing machines
0 references
one-pebble automata
0 references