fcreg (128B)
1 # FC[REG] 2 3 [freydenberger2021theory] 4 5 [FC] with [regular_language] predicates: variable belongs to [regular_language] 6 7 Up: [FC]
![]() | wiki_researchpersonal research wiki |
git clone https://a3nm.net/git/wiki_research/ | |
Log | Files | Refs |