Algorithms finding the order of local testability of deterministic finite automaton and estimations of the order

From MaRDI portal
Publication:1978707

DOI10.1016/S0304-3975(99)00191-7zbMATH Open0938.68055MaRDI QIDQ1978707FDOQ1978707

A. N. Trahtman

Publication date: 4 June 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)





Recommendations



Cites Work


Cited In (7)

Uses Software





This page was built for publication: Algorithms finding the order of local testability of deterministic finite automaton and estimations of the order

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1978707)