Results 221 to 230 of about 3,683 (247)
Some of the next articles are maybe not open access.
Finitely ambiguous and finitely sequential weighted automata over fields
Theoretical Computer SciencezbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
On the synthesis of finite sequential machines
Proceedings of the Indian Academy of Sciences - Section A, 1959Starting from the studies of Kleene and Mealy on sequential machines, in this paper is presented a formalism which, in a sense, unifies their treatments. From the specification of the required machine behaviour in terms of events and associated output states, a uniform procedure is given for obtaining a transition table and from that a minimal machine,
Srinivasan, C. V., Narasimhan, R.
openaire +2 more sources
Is this Finite-State Transducer Sequentiable?
2002Sequentiality is a desirable property of finite state transducers: such transducers are optimal for time efficiency. Not all transducers are sequentiable. Sequentialization algorithms of finite state transducers do not recognize whether a transducer is sequentiable or not and simply do not ever halt when it is not. Choffrut proved that sequentiality of
openaire +1 more source
On Shift-Register Realizations of Sequential Machines and Finite-State Universal Sequential Machines
IEEE Transactions on Computers, 1968Abstract—It is shown that there exist finite-state universal sequential machines which are also feedback-shift-register realizable. This proves from another point of view the recently proved fact that any arbitrary sequential machine can be realized with two shift registers: one which is not always binary, stores the input, and has no feedback; and the
openaire +2 more sources
On the Equivalence of Finite-State Sequential Machine Models
IEEE Transactions on Electronic Computers, 1967Finite-state sequential machine model - proof of equivalence and procedures for transforming one model to other preserving machine ...
openaire +2 more sources
Which Finitely Ambiguous Automata Recognize Finitely Sequential Functions?
2013openaire +1 more source
Strong and NV-sequentiality of constructor systems
Information Processing Letters, 2004Salvador Lucas
exaly
Growing Commas. A Study of Sequentiality and Concatenation
Notre Dame Journal of Formal Logic, 2009Albert Visser
exaly