Skip to content

Extended logs#319

Draft
xendalm wants to merge 45 commits into
mainfrom
ExtendedLogs
Draft

Extended logs#319
xendalm wants to merge 45 commits into
mainfrom
ExtendedLogs

Conversation

@xendalm
Copy link
Copy Markdown
Collaborator

@xendalm xendalm commented Jan 22, 2024

Добавлена теоретическая информация по:

  • SemDet
  • Derivative
  • PumpLenght
  • MyhillNerode
  • Minimize
  • GlaisterShallit
  • Bisimilar
  • Deteminize

Дублирует #262

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Готова к слиянию

Development

Successfully merging this pull request may close these issues.

3 participants