Subtree matching by deterministic pushdown automata - Flouri, Tomas; Melichar, Borivoj; Janousek, J. (2009 International Multiconference on Computer Science and Information Technology, 2009)
Keywords: Automata; Computational modeling; Computer languages; Computer science; Counting circuits; Formal languages; Helium; Information technology; Pattern matching; Personal digital assistants