Welcome to maquinas’s documentation!

maquinas is a library to build computing machines and grammars. It can be used as a support for the teaching Formal Language Theory.

Contents

• Installation
  • Dependencies
  • Create virtual enviroment
  • Activate enviroment
  • Install maquinas
• Quickstart
  • Creating machines
  • Loading machines
  • Visualising machines
  • Creating grammars
  • Parsing and visualazing trees

Reference

• Alphabets and Languages
  • Alphabet
  • Mapping
  • Language
• Regular Languages
  • Deterministic Finite Automaton
  • Non Deterministic Finite Automaton
  • Non Deterministic Finite Automaton with epsilon
  • Regular Grammar
  • Reductions
  • Minimization
• Context Free Languages
  • Push Down Automaton
  • Context Free Grammar
• Recursively Enumerable Languages
  • Turing Machine
  • Two Stack Push Down Automaton
• Simulation
  • Simulation control
• Collections
  • Exmaples
  • Collections
• Input/output
  • load_fa
  • load_pda
  • load_tspda
  • load_mt
  • load_jflap

Changes

Changelog

• Version 0.1.5.22
• Version 0.1.5.22
• Version 0.1.5.21
• Version 0.1.5.18
• Version 0.1.5.17
• Version 0.1.5.14
• Version 0.1.5.12
• Version 0.1.5.9
• Version 0.1.5.7
• Version 0.1.5.6
• Version 0.1.5.5