Mixed computation: grammar up and down the Chomsky hierarchy
Proof-theoretic models of grammar are based on the view that an explicit characterization of a language comes in the form of the recursive enumeration of strings in that language. That recursive enumeration is carried out by a procedure which strongly generates a set of structural descriptions Σ and...
| 第一著者: | |
|---|---|
| フォーマット: | Journal article |
| 言語: | English |
| 出版事項: |
John Benjamins Publishing Company
2021
|