Deciding Determinism of Regular Languages
- 期刊名称Theory of Computing Systems
- 作者Lu, Ping; Bremer, Joachim; Chen, Haiming
- 卷第57卷
- 期第1期
- 印刷ISSN1432-4350
- 电子ISSN1433-0490
- 文件大小3309.00KB
- 发表时间2015-7
- DOI10.1007/s00224-014-9576-2
- 页码97-139
同期刊推荐
Heavy quarkonia: Models and theoryKalashnikova, Yu. S. · Physics of Atomic Nuclei · 2013
Alpha decay in electron surroundingIgashov, S. Yu.; Tchuvilâsky, Yu. M. · Physics of Atomic Nuclei · 2013
Photoproduction of eta mesons on neutronsTryasuchev, V. A. · Physics of Atomic Nuclei · 2014
Physics with the ALICE experimentKharlov, Yu. V. · Physics of Atomic Nuclei · 2013
Spatial periphery of lithium isotopesGalanina, L. I.; Zelenskaja, N. S. · Physics of Atomic Nuclei · 2013
Quartet states of the lepton sectorKosmachev, O. S. · Physics of Atomic Nuclei · 2013
Topological defects in CFTPetkova, V. B. · Physics of Atomic Nuclei · 2013
Neutron nuclear precession—nuclear pseudomagnetismTsulaia, M. I. · Physics of Atomic Nuclei · 2014