Constructing generator of words of context-sensitive language on example of typed λ-calculus
Autor: | Slieptsov, Igor O., Wolfengagen, Viacheslav E., Kosikov, Sergey V. |
---|---|
Zdroj: | In Procedia Computer Science 2022 213:556-562 |
Databáze: | ScienceDirect |
Externí odkaz: |