add test for translation based on tree transducers
add yet another bnf for regexes
add show_ast method