Silva, Alexandre, Guilherme da Cruz Oliveira, and Tanilson Dias dos Santos.
" Introducing the pushdown operator: a proposal to extend regular expressions to context-free languages." <em>Anais do X Encontro de Teoria da Computação,
Maceió/AL, 2025</em>. SBC, 2025,  
pp.95-99.