资 源 简 介
A deterministic, polynomial recognition algorithm implementing the Non-Deterministic Buffer Machine (NDBM) described in the following tecnical report (introduction in Italian, full-text in English):
http://home.dei.polimi.it/fmaggi/downloads/publications/2008maggitraces.pdf
The code is work in progress and only an alpha version has been released. Thus, use it at your own risk!