Avatar of Greg Bacon

Greg Bacon

Madison, Alabama

Computer Scientist. AI/ML. Software Engineer. Aviator. Flight Instructor.

  • About
  • Publications
  • Talks
  • Teaching
  • Blog
  • Tags
  • CV

#computability

Content tagged with "computability"

CS403: Introduction to Formal Languages & Automata Theory
#Computability #Computer Science #Education

Concepts and formalisms of formal languages and automata theory. Fundamental mathematical concepts, grammars, and corresponding automata. Deterministic parsing of programming languages.

CS603: Formal Languages & Automata Theory
#Computability #Computer Science #Education

DFAs, NFAs, regular languages. Formal grammars. Pushdown and linear-bounded automata. Turing machines. Decidability.

© 2026 Greg Bacon.
Built with Academic Portfolio Astro