pd_lang_k.h File Reference

Test class to derive strings from pushdown automata. More...

#include "corefaudes.h"
#include "pd_include.h"

Go to the source code of this file.

Classes

class  faudes::LangK
 This class is used to find all words that can be found when traversing a maximum of k transitions of a given generator. More...

Namespaces

namespace  faudes
 

libFAUDES resides within the namespace faudes.



Detailed Description

Test class to derive strings from pushdown automata.

Definition in file pd_lang_k.h.

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen