How daryanechaeva/formal-lang-course works
This repository is a formal-languages course and homework template, not a standalone query-processing application. The documented learner workflow is to study course materials, complete task specifications in a fork, and submit implementations for automatic or instructor review. The sampled runtime code is limited to graph-data helpers; course topics and assessment flow are taken from the README and tree, so links to unsampled implementation details are omitted.
Main entry points: graph_utils.py Graph utilities · project Homework code · autotests Auto-checks · lecture_notes Lecture notes
Components 10
Course materials
- Lecture notes
docs/lecture_notes - CFPQ applications
docs/CFPQ_applications
Homework
- Task specifications
tasks.md - Homework code
project - Auto-checks
tests/autotests
Graph helpers
- Graph utilities
project/graph_utils.py
Other components
- Learner
- CFPQ data
- NetworkX
- Pydot
Connections 10
- Learner → Lecture notes: studies
- Learner → CFPQ applications: studies
- Learner → Task specifications: follows
- Learner → Homework code: implements
- Auto-checks → Homework code: checks
- Graph utilities → CFPQ data: downloads graphs
- Graph utilities → CFPQ data: loads CSV
- Graph utilities → CFPQ data: creates graph
- Graph utilities → NetworkX: returns graph
- Graph utilities → Pydot: writes DOT