Titlebook: Automata, Languages and Programming; 14th International C Thomas Ottmann Conference proceedings 1987 Springer-Verlag Berlin Heidelberg 1987

fulmination

,?konomische Bedeutung von Bildung,tself. We give four non-trivial characterizations of the languages accepted by a reversible automaton equipped with a set of initial and final states and we show that one can effectively decide whether a given rational (or regular) language can be accepted by a reversible automaton. The first charac

相符

Logic programming with ions,ic programming framework. To this end, we generalize the notion of an ion introduced in [7], and develop our alternative to the language and metalanguage amalgamation approach suggested by Bowen and Kowalski [1].

restrain

成績(jī)上升

crescendo

GLUE

A star-height problem in free monoids with partial commutations, if w ε A* contains all letters of A then [w*]={u ε A* | u ～ w. for some n ≥ 0} is a rational set iff the graph of the complement . of θ is connected. We prove: 1) if θ is not connected then [w*] has starheight one, 2) if θ and . are connected there exist words w ε A* such that [w*] is a rational set of arbitrary starheight.

輕彈

Euthyroid

978-3-540-18088-3Springer-Verlag Berlin Heidelberg 1987

cortex

休閑