On Word Rewriting Systems Having a Rational Derivation-Reference-Cited by-同舟云学术

On Word Rewriting Systems Having a Rational Derivation

Published:2000 Issue: Volume: Page:48-62
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Caucal Didier

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-46432-8_4

Reference13 articles.

1. J.-M. Autebert and L. Boasson Transductions rationnelles, Ed. Masson, pp 1–133, 1988.

2. J. Berstel Transductions and context-free languages, Ed. Teubner, pp. 1–278, 1979.

3. L. Boasson and M. Nivat Centers of context-free languages, LITP report 84-44, 1984.

4. R. Book and F. Otto String-rewriting systems, Text and monographs in computer science, Springer Verlag, 189 pages, 1993.

5. R. Büchi Regular canonical systems, Archiv für Mathematische Logik und Grundlagenforschung 6, pp. 91–111, 1964 or in The collected works of J. Richard Büchi, edited by S. Mac Lane and D. Siefkes, Springer-Verlag, New York, pp. 317–337, 1990.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order;Lecture Notes in Computer Science;2009

2. On Term Rewriting Systems Having a Rational Derivation;Lecture Notes in Computer Science;2004

3. An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems;Electronic Notes in Theoretical Computer Science;2002-02

4. Regular Model Checking Made Simple and Effcient*;CONCUR 2002 — Concurrency Theory;2002

5. A Chomsky-Like Hierarchy of Infinite Graphs;Lecture Notes in Computer Science;2002