Regulated Pushdown Automata

@article{Meduna2000RegulatedPA,
  title={Regulated Pushdown Automata},
  author={Alexander Meduna and Dusan Kol{\'a}r},
  journal={Acta Cybern.},
  year={2000},
  volume={14},
  pages={653-664}
}
The present paper suggests a new investigation area of the formal language theory—regulated automata. Specifically, it investigates pushdown automata that regulate the use of their rules by control languages. It proves that this regulation has no effect on the power of pushdown automata if the control languages are regular. However, the pushdown automata regulated by linear control languages characterize the family of recursively enumerable languages. All these results are established in terms… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 16 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-3 OF 3 REFERENCES