Titlebook: Implementation and Application of Automata; 5th International Co Shen Yu,Andrei Păun Conference proceedings 2001 Springer-Verlag Berlin Hei

耐寒

Implementation and Application of Automata978-3-540-44674-3Series ISSN 0302-9743 Series E-ISSN 1611-3349

说明

Synthesizing State-Based Object Systems from LSC Specificationsdefining consistency, showing that an entire LSC specification is consistent iff it is satisfiable by a state-based object system, and then synthesizing a satisfying system as a collection of finite state machines or statecharts.

易怒

New Finite Automaton Constructions Based on Canonical Derivativeslts allowing to compute the equation automaton in quadratic space and time, improving by a cubic factor Antimirov’s construction. These results lay on the computation of a new kind of derivative, called canonical derivative, which makes it possible to connect the notion of continuation in a linear e

Malfunction

Conference proceedings 2001 science. Research in automata theory has always been motivated by its applications since its early stages of development. In the 1960s and 1970s, automata research was moti- ted heavily by problems arising from compiler construction, circuit design, string matching, etc. In recent years, many new a