Skip to content

Alphabets

Malte Isberner edited this page Nov 7, 2013 · 2 revisions

In AutomataLib, an alphabet is a finite ordered set of input symbols. Mathematically, it can be described as a set S = { a_1, ..., a_n }.

Clone this wiki locally