20 citations
2 papers
cs.FL2014★ 20 cited
Functional Automata - Formal Languages for Computer Science Students
Marco T. Morazán, Rosario Antunez
An introductory formal languages course exposes advanced undergraduate and early graduate students to automata theory, grammars, constructive proofs, computability, and decidabilit…
math.CO2014
A note on the values of independence polynomials at
Jonathan Cutler, Nathan Kahl
The independence polynomial of a graph is , where is the number of independent sets in of size . The decycling number of…