Deterministic context-free dynamic logic is more expressive than deterministic dynamic logic of regular programs

  • Paweł Urzyczyn
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 158)


We show an example of an algebra T, such that every deterministic regular /flow-chart/ program is equivalent in T to a loop-free approximation of itself, while a program augmented by one binary push-down store is not equivalent in T to any loop-free program. From this we deduce that the Deterministic Dynamic Logic of regular programs is strictly weaker than the Deterministic Context-Free Dynamic Logic.


Recursive Call Dynamic Logic Empty Word Program Term Regular Program 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BHT]
    Berman, P.,Halpern, J.Y.,Tiuryn, J., On the power of nondeterminism in Dynamic Logic, in: Proc. of 9th ICALP,/M. Nielsen and E.M. Schmidt,eds./,Lecture Notes in Comp.Sci., vol. 140, Springer Verlag, Berlin, 1982, 48–60.Google Scholar
  2. [E]
    Erimbetov,M.M., Model-theoretic properties of languages of algorithmic logics /in Russian/, in:"Teorija modelej i ee primenenija", University of Alma-Ata, 1980.Google Scholar
  3. [H]
    Harel, D., First-order Dynamic Logic, Lecture Notes in Comp.Sci. vol.68, Springer Verlag, Berlin,1979.Google Scholar
  4. [S]
    Stolboushkin,A.P., private letter.Google Scholar
  5. [T]
    Tiuryn,J., Unbounded program memory adds to the expressive power of first-order Dynamic Logic, in: Proc. of 22nd IEEE Symp. on FOCS, 1981.Google Scholar
  6. [U]
    Urzyczyn,P., Non-trivial definability by iterative and recursive programs, to appear in Information and Control.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1983

Authors and Affiliations

  • Paweł Urzyczyn
    • 1
  1. 1.Institute of MathematicsUniversity of Warsaw PKiNWarszawaPoland

Personalised recommendations