Abstract
In (A. P. Stolboushkin and M.A. Taitslin, Inform. Contr. 57 (1983), 48–55) Taitslin introduced a structure G ( A ) in which every deterministic regular program is uniformly periodic. In the present paper it is proved that every deterministic context-free program is also uniformly periodic in the same structure. Hence, in the theory of G ( A ) each formula of deterministic dynamic logic of context-free programs is equivalent to a first-order formula. However, for regular dynamic logic this statement is false. We then show that regular dynamic logic is not interpretable in deterministic context-free dynamic logic. Thus, deterministic context-free dynamic logic is strictly weaker than context-free dynamic logic. The proof holds in the presence of first-order tests (and even “rich” tests) as well as quantifier-free tests.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
