Regularity of normed PA processes

Authors
Kucera, A
Citation
A. Kucera, Regularity of normed PA processes, INF PROCESS, 72(1-2), 1999, pp. 9-17
Citations number
9
Categorie Soggetti
Information Tecnology & Communication Systems
Journal title
INFORMATION PROCESSING LETTERS
ISSN journal
00200190 → ACNP
Volume
72
Issue
1-2
Year of publication
1999
Pages
9 - 17
Database
ISI
SICI code
0020-0190(19991029)72:1-2<9:RONPP>2.0.ZU;2-P
Abstract
We prove that regularity of normed PA processes is decidable in polynomial time. As an immediate consequence we also obtain decidability of bisimilari ty between normed PA processes and finite-state ones. (C) 1999 Published by Elsevier Science B.V. All rights reserved.