Zulip Chat Archive
Stream: Is there code for X?
Topic: Finite state machines / transducers
Jake (Sep 29 2022 at 02:04):
Is there code in mathlib for finite state machines / transducers and related theorems?
Matt Diamond (Sep 29 2022 at 04:00):
mathlib has a computability namespace... check out docs#DFA and docs#NFA, for example
Jake (Sep 29 2022 at 12:41):
perfect, thanks so much!
Martin Dvořák (Sep 30 2022 at 12:59):
Afaik we don't have transducers. Maybe I'll get for formalize them one day, too.
Martin Dvořák (Sep 30 2022 at 13:03):
Currently, I am focused on the top levels of Chomsky hierarchy.
Last updated: Dec 20 2023 at 11:08 UTC