References
- Eilenberg , S. 1984 . Automata, Languages, and Machines , New York : Academic Press .
- Davis , M. D. and Weyuker , E. J. 1983 . Computability, Complexity, and Languages , New York : Academic Press Inc. .
- Gatterdam R. Algorithms for Splicing Systems submitted
- Head , T. 1987 . Formal language theory and DNA: An analysis of the generative capacity of specific recombinant behaviors . Bull. Math. Biol. , 49 : 737 – 759 .
- Post , E. 1947 . Recursive unsolvability of a problem of Thue . J Symbolic Logic , 12 : 1 – 11 .