Least Upper Bounds on Minimal Terminal State Experiments for Two Classes of Sequential Machines

DOI10.1145/321088.321098zbMath0158.01003OpenAlexW2097097579MaRDI QIDQ5540450

Thomas N. Hibbard

Publication date: 1961

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/321088.321098

zbMATH Keywords

mathematical logic

Related Items (3)

Deriving Homing Sequences for Finite State Machines with Timed Guards ⋮ Transition matrices in the measurement and control of synchronous sequential machines ⋮ Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines

This page was built for publication: Least Upper Bounds on Minimal Terminal State Experiments for Two Classes of Sequential Machines