FormalLanguageConstrainedPathQuerying / FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes
Довести до ума раздл "Общие сведения теории формальных языков"
Đang mở
- Ngôn ngữ chính
- TeX
- Star
- 6
- Fork
- 12
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Mô tả
* [ ] Добавить про конкатенацию (над множествами), степень, звезду
* [ ] Примеры распознователей (в сноске)
* [ ] Примеры генераторов (в сноске)
* [ ] Пример работы системы переписывания строк. Возможно, сразу на КС грамматике.
Hướng dẫn đóng góp
Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này
Đánh giá
Issue này chưa được đánh giá.