Automata-theoretic aspects of formal power series
Devoted to the theory of formal power series. Develops the theory for series in noncommuting variables. Emphasizes results applicable to automata & formal language theory.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Applications of rational series
4 other sections not shown
Other editions - View all
4-algebraic A-rational algebraic series alphabet apwPw Assume automata automaton belongs characteristic series coefficients columns of H(r commutative semiring component Consider context-free grammar context-free languages Corollary corresponding decidable defined definition denote DOL sequence DOL system DTOL series Dyck language elements entries equals equation exercise Fatou extension finite formal language theory formal power series free monoid given Greibach normal form growth functions growth order Hadamard product Hankel matrices Hence implies induction integer integral domain Lemma letters mapping matrix natural number obtained one-letter PDOL PDTOL polynomial problem proof of Theorem proper algebraic system prove pushdown automaton Q-stochastic quasiregular rational series regular language regulated rational transduction representation respectively right sides root of unity satisfied Section semi-algebraic sequence r(n Show solution stochastic languages subfield subring system G Theorem 1.1 variables word Z-rational Z-rational sequence zero