Radek Bidlo

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
This paper introduces deriuation table.s that represent a complete grammatical derivations as whole in a vertical way. These tables are obtained by writing the consecutive sentential forms of grammatical derivations vertically one by one. The present paper places and discusses some restrictions on the columns of these tables. IVIore specifically, these(More)
This paper introduces and discusses a modification of pushdown au-tomata. This modification is based on two-sided pushdowns into which symbols are pushed from both ends. These pushdowns are defined over free groups, not free monoids, and they can be shortened only by the standard group reduction. We demonstrate that these automata characterize the family of(More)
  • 1