6 citations · 15 across the 9 of their papers we have counts for
4 papers · 1 filter
Standard Automata Theory and Process Algebra
Victor Yodaiken
Classical automata theory is far more capable of modeling complex digital systems than is widely acknowledged in the ``formal methods'' literature. This paper takes a second look a…
Defining and composing big state machines
Victor Yodaiken
A sequence function alternative representation of state machines.
Digital Circuits as Moore Machines
Victor Yodaiken
This paper illustrates a technique for specifying the timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines with outpu…
Primitive Recursive Presentations of Automata and their Products
Victor Yodaiken
Methods for specifying Moore type state machines (transducers) abstractly via primitive recursive functions and for defining parallel composition via simultaneous primitive recursi…