Subtree matching by deterministic pushdown automata

Subtree matching is an important problem in Computer Science on which a number of tasks, such as mechanical theorem proving, term-rewriting, symbolic computation and non-procedural programming languages are based on. A systematic approach to the construction of subtree pattern matchers by determinis...

Celý popis

Podrobná bibliografie

Vydáno v:	2009 International Multiconference on Computer Science and Information Technology s. 659 - 666
Hlavní autoři:	Flouri, Tomas, Melichar, Borivoj, Janousek, J.
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.10.2009
Témata:	Automata Computational modeling Computer languages Computer science Counting circuits Formal languages Helium Information technology Pattern matching Personal digital assistants
ISBN:	9781424453146, 1424453143
ISSN:	2157-5525
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!