Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2412.09688 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910743490723840 |
|---|---|
| author | Boateng, Luisa Marcolli, Matilde |
| author_facet | Boateng, Luisa Marcolli, Matilde |
| contents | A construction that assigns a Boolean 1D TQFT with defects to a finite state automaton was recently developed by Gustafson, Im, Kaldawy, Khovanov, and Lihn. We show that the construction is functorial with respect to the category of finite state automata with transducers as morphisms. Certain classes of subregular languages correspond to additional cohomological structures on the associated TQFTs. We also show that the construction generalizes to context-free grammars through a categorical version of the Chomsky-Schützenberger representation theorem, due to Melliès and Zeilberger. The corresponding TQFTs are then described as morphisms of colored operads on an operad of cobordisms with defects. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_09688 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Formal Languages and TQFTs with Defects Boateng, Luisa Marcolli, Matilde Mathematical Physics Computation and Language Quantum Algebra 68Q45, 81T45 A construction that assigns a Boolean 1D TQFT with defects to a finite state automaton was recently developed by Gustafson, Im, Kaldawy, Khovanov, and Lihn. We show that the construction is functorial with respect to the category of finite state automata with transducers as morphisms. Certain classes of subregular languages correspond to additional cohomological structures on the associated TQFTs. We also show that the construction generalizes to context-free grammars through a categorical version of the Chomsky-Schützenberger representation theorem, due to Melliès and Zeilberger. The corresponding TQFTs are then described as morphisms of colored operads on an operad of cobordisms with defects. |
| title | Formal Languages and TQFTs with Defects |
| topic | Mathematical Physics Computation and Language Quantum Algebra 68Q45, 81T45 |
| url | https://arxiv.org/abs/2412.09688 |