scientific article; zbMATH DE number 3254910

zbMath0158.25802MaRDI QIDQ5541343

Arthur Gill

Publication date: 1966

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

mathematical logic

Related Items (18)

Generalized information-lossless automata. I ⋮ Resolution approach to testing compatibility of interacting automata ⋮ Synthesis of a nondeterministic automaton from its logical specification. I ⋮ On preset homing and synchronizing sequences for observable input/output automata ⋮ On the class of L\(^*\)-language formulas that specify finite-memory finite-state machines ⋮ Finite-state automata in information technologies ⋮ Fictitiousness analysis of states of a finite-state machine synthesized from its specification transformed from the language \(L^*\) to the language \(L\) ⋮ Transformation of a language \(L^\ast\) specification of an FSM into an automata equivalent specification in the language \(L\) ⋮ Nonlinear automata over a finite ring ⋮ Decision capabilities of diagnostic experiments with linear automata ⋮ Simple-fault checking for automata generated by a fault function ⋮ Fault-detection experiment with deterministic realizations and a nondeterministic model ⋮ Generalized synchronization of linear sequential machines ⋮ Two types of nonlinear automata over a finite ring ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: