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...

Full description

Bibliographic Details

Published in:	2009 International Multiconference on Computer Science and Information Technology pp. 659 - 666
Main Authors:	Flouri, Tomas, Melichar, Borivoj, Janousek, J.
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.10.2009
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!