scientific article; zbMATH DE number 3248552

From MaRDI portal

zbMath0154.41701MaRDI QIDQ5535414

Richard E. Stearns, Juris Hartmanis

Publication date: 1966


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



Related Items

Unnamed Item, DECOMPOSITION PROBLEMS OF SYSTEMS DEFINED ON GROUPS, Product of partition logics, orthoalgebras, and automata, Homogeneous decomposition of stochastic systems, Iterated uniform finite-state transducers on unary languages, Pair algebras and Galois connections., MULTILEVEL SYNTHESIS OF FINITE STATE MACHINES BASED ON SYMBOLIC FUNCTIONAL DECOMPOSITION, Trinity algebra and its application to machine decompositions, Deriving Homing Sequences for Finite State Machines with Timed Guards, Demonic operators and monotype factors, Certain properties of noise-immune automata, Concurrent transition systems, The permutation rank of an automaton II, Computational and Descriptional Power of Nondeterministic Iterated Uniform Finite-State Transducers*, Surjections and coverings, Method of accommodation to the defects in finite automata, On periodicity of sequential machines, Two characterizations of interchange graphs of complete m-partite graphs, Decomposition and factorization of chemical reaction transducers, Discussion on: ``Unified approach to the problem of full decoupling via output feedback, On structure and representations of cyclic automata, An inner product space on irreducible and synchronizable probabilistic finite state automata, Branching vs. Linear Time: Semantical Perspective, Disturbance decoupling in nonlinear hybrid systems, Functions’ algebra in nonlinear control: computational aspects and software, Feedback linearization of possibly non-smooth systems, Analogues of quantum complementarity in the theory of automata, Secondary state assignment using connected matrices, Some Algebraic Properties of Machine Poset of Infinite Words, State identification, existence of sequences and machine classification, Principle of inclusion-exclusion on partially ordered sets, The permutation rank of an automaton i, Unnamed Item, Theory of reaction automata: a survey, Global linearization approach to nonlinear control systems: a brief tutorial overview, Unnamed Item, Decomposition of an automation into a multicycle network, Unnamed Item, Algebraic approach for model decomposition: Application to fault detection and isolation in discrete-event systems, Redundancy relations for the diagnosis of hybrid systems, 5 Logic Synthesis Method of Digital Circuits Designed for Implementation with Embedded Memory Blocks of FPGAs, Method for the functional diagnosis of nondeterministic finite state machines, Fault tolerance in distributed systems using fused state machines, Fuzzy neural networks, A state space approach to the finite automata, On the Krohn-Rhodes Cascaded Decomposition Theorem, CHARACTERIZATION OF CONTINUOUS SYSTEMS THAT ARE DIGITAL, Cascades of tree-automata and computations in universal algebras, Parallel realization of systems, using factorizations and quotients in categories, A characterization of automata and a direct product decomposition, The mechanical discovery of certain problem symmetries, Direct or cascade product of pushdown automata, On topological machines, The amalgamation of automata, Deterministic representation of probabilistic systems by ergodic machines, Sur une variante des fonctions séquentielles, Assisted Problem Solving and Decompositions of Finite Automata, Prime languages, Detecting errors in nodes of technical systems with static nonlinearities, Realization of finite automata with linear parts, Some remarks on multiple-entry finite automata, Consolidation and decomposition of homogeneous Markov processes, A grammar of functions, Homomorphic images of linear sequential machines, A grammar of functions. II, Infinite linear sequential machines, Frequency of decomposability among machines with a large number of states, Probabilistic aspects of machine decomposition theory, Fault identification in nonlinear hybrid systems, General varieties of tree languages, Every finite sequential machine is linearly realizable, A generalized concept of automaton automorphisms, Fault diagnosis in nonlinear hybrid systems, Decomposition of simple goal-seeking automata, Cofunction in composite systems, Group theoretic characterization of linear permutation automata, Some extensions of the congruence concept for incomplete non- deterministic automata, A structure theory of automata characterized by groups, Automata in categories. The decomposition problem, APPARATUS FOR FORMAL DESCRIPTION OF DISCRETE SYSTEMS, Stochastic dynamic programming with factored representations, Some classes of automata as partially ordered sets, Cyclic decomposition of finite stochastic systems, Walkwise and admissible mappings between digraphs, Subjective qualitative information structures based on orderings, Principle of inclusion-exclusion on semilattices, Automaton and group structures in certain economic adjustment mechanisms, Automata and concurrency, Parametrization of the input-output image of nonlinear dynamic systems, The decomposition of stochastic systems, Deterministic and nondeterministic iterated uniform finite-state transducers: computational and descriptional power, Sequential machines realized by group representations, On the channel capacity of a state machine, Fault-tolerant computation in groups and semigroups: Applications to automata, dynamic systems and Petri nets, Die Automatentheorie als Teilgebiet der angewandten Mathematik, Permutation automata, Redundanz und Komposition von Automaten, Equivalence notions and model minimization in Markov decision processes, LEVELS OF STRUCTURAL DECOMPOSITION OF DYNAMICAL SYSTEMS, Synthesis of real time acceptors, Yet another proof of the cascade decomposition theorem for finite automata, Complexity of ideals in finite semigroups and finite-state machines, Remarks on algebraic decomposition of automata, Minimal solutions of Paull-Unger problems, Decomposition of linear sequential machines, Serienzerlegung deterministischer (S)‐Systeme, Decomposition of linear sequential machines. II, Structural equivalence of automata, Every good regulator of a system must be a model of that system †, On the endomorphisms of finite automata, On the group of automorphisms of strongly connected automata, When is a sequential machine the realization of another?, Efficient learning of real time one-counter automata, On the undecidability and descriptional complexity of synchronized regular expressions, Unnamed Item, Algebraic structure theory of stochastic machines, Iterated uniform finite-state transducers on unary languages, Unnamed Item, Descriptional complexity of iterated uniform finite-state transducers