# Summary

[Introduction](README.md)
- [Theory](theory/README.md)
  - [Words & Languages](theory/language.md)
  - [Regular Languages & Finite Automata](theory/automata.md)
  - [Tagged Finite Automata](theory/tagged.md)
- [Expression](expression.md)
- [Matching](matching/README.md)
  - [Rootmatching](matching/root.md)
  - [Submatching](matching/sub.md)