A criterion for the decidability of the <Emphasis Type="Italic">A</Emphasis>-completeness problem for definite automata |
| |
Authors: | D N Zhuk |
| |
Institution: | 1.Faculty of Mechanics and Mathematics,Moscow State University,Moscow,Russia |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|