Silva, A., 		Oliveira, G., & 		Santos, T.
2025 Jul 20.  Introducing the pushdown operator: a proposal to extend regular expressions to context-free languages. Proceedings of  the Theory of Computation Meeting (ETC). [Online] :