摘要：We show that it is decidable whether or not a given D0L power series over a semiring A is A-algebraic in case A = Q+ or A = N. The proof relies heavily on the use of elementary morphisms in a power series framework and gives also a new method to decide whether or not a given D0L language is context-free.
Loading...
