Tricolor automata

2015 ◽  
Author(s):  
C. M. Sperberg-McQueen
Keyword(s):  
Regular Languages ◽  
The Other ◽  
Finite State Automata ◽  
Simple Application ◽  
Finite State

Tricolor automata are extensions of finite state automata, intended for the comparison of two regular languages; states and arcs in the automaton are colored to indicate whether they are peculiar to one language or the other, or common to both. Their design represents a simple application to practical purposes of ideas derived from the work of Glushkov and Brzozowski. Examples are given to show how tricolor automata can be used to visualize the intersection, union, and set difference of two languages, and algorithms for constructing them are given.

scholarly journals Copyful Streaming String Transducers

2021 ◽  
Vol 178 (1-2) ◽  
pp. 59-76
Author(s):  
Emmanuel Filiot ◽  
Pierre-Alain Reynier
Keyword(s):  
Polynomial Time ◽  
Equivalence Problem ◽  
Expressive Power ◽  
The Other ◽  
Finite State Automata ◽  
Finite State ◽  
Variable Content ◽  
Deterministic Automata ◽  
Intermediate Output ◽  
Linear Manner

Copyless streaming string transducers (copyless SST) have been introduced by R. Alur and P. Černý in 2010 as a one-way deterministic automata model to define transductions of finite strings. Copyless SST extend deterministic finite state automata with a set of variables in which to store intermediate output strings, and those variables can be combined and updated all along the run, in a linear manner, i.e., no variable content can be copied on transitions. It is known that copyless SST capture exactly the class of MSO-definable string-to-string transductions, and are as expressive as deterministic two-way transducers. They enjoy good algorithmic properties. Most notably, they have decidable equivalence problem (in PSpace). On the other hand, HDT0L systems have been introduced for a while, the most prominent result being the decidability of the equivalence problem. In this paper, we propose a semantics of HDT0L systems in terms of transductions, and use it to study the class of deterministic copyful SST. Our contributions are as follows: (i)HDT0L systems and total deterministic copyful SST have the same expressive power, (ii)the equivalence problem for deterministic copyful SST and the equivalence problem for HDT0L systems are inter-reducible, in quadratic time. As a consequence, equivalence of deterministic SST is decidable, (iii)the functionality of non-deterministic copyful SST is decidable, (iv)determining whether a non-deterministic copyful SST can be transformed into an equivalent non-deterministic copyless SST is decidable in polynomial time.

Finite-State Technology

2018 ◽  
Author(s):  
Mans Hulden
Keyword(s):  
Natural Language Processing ◽  
Natural Language ◽  
Computational Linguistics ◽  
Language Processing ◽  
Finite State Machines ◽  
Regular Languages ◽  
Finite State Automata ◽  
State Machines ◽  
Computational Phonology ◽  
Finite State

Finite-state machines—automata and transducers—are ubiquitous in natural-language processing and computational linguistics. This chapter introduces the fundamentals of finite-state automata and transducers, both probabilistic and non-probabilistic, illustrating the technology with example applications and common usage. It also covers the construction of transducers, which correspond to regular relations, and automata, which correspond to regular languages. The technologies introduced are widely employed in natural language processing, computational phonology and morphology in particular, and this is illustrated through common practical use cases.

scholarly journals Applications of the finite state automata for counting restricted permutations and variations

2012 ◽  
Vol 22 (2) ◽  
pp. 183-198
Author(s):  
Vladimir Baltic
Keyword(s):  
The Other ◽  
Finite State Automaton ◽  
Finite State Automata ◽  
Combinatorial Structures ◽  
Restricted Permutations ◽  
Finite State

In this paper, we use the finite state automata to count the number of restricted permutations and the number of restricted variations. For each type of restricted permutations, we construct a finite state automaton able to recognize and enumerate them. We, also, discuss how it encompasses the other known methods for enumerating permutations with restricted position, and in one case, we establish connections with some other combinatorial structures, such as subsets and compositions.

scholarly journals A Transformation-Based Approach to Implication of GSTE Assertion Graphs

2013 ◽  
Vol 2013 ◽  
pp. 1-7
Author(s):  
Guowu Yang ◽  
William N. N. Hung ◽  
Xiaoyu Song ◽  
Wensheng Guo
Keyword(s):  
Model Checking ◽  
Directed Graphs ◽  
Classical Model ◽  
Regular Languages ◽  
Finite State Automaton ◽  
Finite State Automata ◽  
Symbolic Trajectory Evaluation ◽  
Finite State ◽  
Symbolic Trajectory ◽  
Language Containment

Generalized symbolic trajectory evaluation (GSTE) is a model checking approach and has successfully demonstrated its powerful capacity in formal verification of VLSI systems. GSTE is an extension of symbolic trajectory evaluation (STE) to the model checking ofω-regular properties. It is an alternative to classical model checking algorithms where properties are specified as finite-state automata. In GSTE, properties are specified as assertion graphs, which are labeled directed graphs where each edge is labeled with two labeling functions: antecedent and consequent. In this paper, we show the complement relation between GSTE assertion graphs and finite-state automata with the expressiveness of regular languages andω-regular languages. We present an algorithm that transforms a GSTE assertion graph to a finite-state automaton and vice versa. By applying this algorithm, we transform the problem of GSTE assertion graphs implication to the problem of automata language containment. We demonstrate our approach with its application to verification of an FIFO circuit.

scholarly journals Comments on “Incremental Construction and Maintenance of Minimal Finite-State Automata,” by Rafael C. Carrasco and Mikel L. Forcada

2004 ◽  
Vol 30 (2) ◽  
pp. 227-235 ◽  
Author(s):  
Jan Daciuk
Keyword(s):  
Recent Article ◽  
The Other ◽  
Finite State Automata ◽  
Incremental Algorithms ◽  
Finite State ◽  
Incremental Construction ◽  
Cyclic Automaton ◽  
Incremental Addition

In a recent article, Carrasco and Forcada (June 2002) presented two algorithms: one for incremental addition of strings to the language of a minimal, deterministic, cyclic automaton, and one for incremental removal of strings from the automaton. The first algorithm is a generalization of the “algorithm for unsorted data”—the second of the two incremental algorithms for construction of minimal, deterministic, acyclic automata presented in Daciuk et al. (2000). We show that the other algorithm in the older article—the “algorithm for sorted data”—can be generalized in a similar way. The new algorithm is faster than the algorithm for addition of strings presented in Carrasco and Forcada's article, as it handles each state only once.

scholarly journals BERGMAN under MS-DOS and Anick's resolution

1997 ◽  
Vol Vol. 1 ◽  
Author(s):  
S. Cojocaru ◽  
V. Ufnarovski
Keyword(s):  
Hilbert Series ◽  
The Other ◽  
Finite State Automata ◽  
Universal Enveloping Algebras ◽  
Generators And Relations ◽  
Enveloping Algebras ◽  
Finite State ◽  
Algorithmic Problems ◽  
Noncommutative Algebras ◽  
International Audience

International audience Noncommutative algebras, defined by the generators and relations, are considered. The definition and main results connected with the Gröbner basis, Hilbert series and Anick's resolution are formulated. Most attention is paid to universal enveloping algebras. Four main examples illustrate the main concepts and ideas. Algorithmic problems arising in the calculation of the Hilbert series are investigated. The existence of finite state automata, defining thebehaviour of the Hilbert series, is discussed. The extensions of the BERGMAN package for IBM PC compatible computers are described. A table is provided permitting a comparison of the effectiveness of the calculations in BERGMAN with the other systems.

scholarly journals Michelangelo, the Duck and the Rabbit

2021 ◽  
Vol 9 (2) ◽  
pp. 1-29
Author(s):  
Juan Felipe Miranda Medina ◽  
Marisol Cristel Galarza Flores
Keyword(s):  
Computer Science ◽  
The Other ◽  
Finite State Automata ◽  
Finite State ◽  
Modes Of Existence ◽  
Narrative Account ◽  
Virtual Mode

The concept of modes of existence of semiotic entities underlies (post)Greimasian semiotics, yet it seems to have received little attention. Modes of existence can be used in different senses. For Greimas, from the perspective of narrative semiotics, when Michelangelo first receives a block of marble and decides to sculpt the David, his intention is in a virtual mode; as Michelangelo progresses he ends up bringing the David into existence, and his intention comes to the realized mode. In Fontanille’s tensive semiotics, however, modes of existence can have to do with how one can narrow or broaden the scope of our apprehension of the David as our eyes look at it in order to produce a meaningful experience. In this work, the perspectives of narrative and tensive semiotics are contrasted both theoretically and practically applying both to a number of examples. In order to identify all possible modes of existence and all the possibilities of transitioning from one to the other in the examples presented, we resort to the method of finite-state automata from computer science. In the end, we propose a robust narrative account of modes of existence that relies on narrative semiotics for its definition, but into which intent and apprehension from tensive semiotics can be integrated. This work calls for the need of establishing a syntax of modes of existence, since both Greimas and Fontanille construe them as being necessary to account for the production of signification.

Sign in / Sign up

Export Citation Format

Share Document