A Note on Deterministic Linear Languages

A. Ya. Dikovskii

A chapter in Systems Theory Research, 1973, pp 295-300 from Springer

Abstract: Abstract A finite automaton with two tapes (in short, a 2-K-automaton) is specified by an ordered sextupole S = (K, Σ{#}, q1 q0, ε, δ), where: 1, 2) K and Σ are finite sets (of states and input symbols), and #∈Σ (a right boundary marker); 3) q1 ∈ K (an initial state); 4) q0 ∈ K (a terminal state); 5) ε ∈ Σ ⋃{#} (an auxiliary symbol); 6) δ is a mapping of the set (Σ ⋃ {#} ⋃ {ε} × K × (Σ ⋃ {#} ⋃ {ε}) — {ε} × K × {ε} into the set of all subsets of K.‡

Date: 1973
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-1-4757-0079-4_14

Ordering information: This item can be ordered from
http://www.springer.com/9781475700794

DOI: 10.1007/978-1-4757-0079-4_14

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().