Unique Typed Basic Categorial Grammars

被引：0

作者：

M. E. Vishnikin

机构：

[1] Chair of Mathematical Logic and Algorithm Theory,

[2] Faculty of Mechanics and Mathematics,undefined

[3] Lomonosov Moscow State University,undefined

来源：

Moscow University Mathematics Bulletin | 2022年 / 77卷

关键词：

unique typed basic categorial grammars; Chomsky hierarchy; context-free languages;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：93 / 96

页数：3

共 50 条

[21] On learnability of restricted classes of categorial grammars
Dziemidowicz-Gryz B.
Studia Logica, 2007, 85 (2) : 153 - 169
[22] Automata and AB-categorial grammars
Tellier, I
IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2006, 3845 : 353 - 355
[23] Typed Transformations of Typed Grammars: The Left Corner Transform
Baars, Arthur
Swierstra, S. Doaitse
Viera, Marcos
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 253 (07) : 51 - 64
[24] THE EQUIVALENCE OF NONASSOCIATIVE LAMBEK CATEGORIAL GRAMMARS AND CONTEXT-FREE GRAMMARS
KANDULSKI, M
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1988, 34 (01): : 41 - 52
[25] Minimalist Grammars and Minimalist Categorial Grammars: Toward Inclusion of Generated Languages
Amblard, Maxime
LOGIC AND GRAMMAR: ESSAYS DEDICATED TO ALAIN LECOMTE ON THE OCCASION OF HIS 60TH BIRTHDAY, 2011, 6700 : 61 - 80
[26] A role of functional morphemes in Korean categorial grammars
Park, Jungyeul
Kim, Mija
KOREAN LINGUISTICS, 2023, 19 (01) : 1 - 30
[27] Learning discrete categorial grammars from structures
Besombes, Jerome
Marion, Jean-Yves
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2008, 42 (01): : 165 - 182
[28] THE EQUIVALENCE OF UNIDIRECTIONAL LAMBEK CATEGORIAL GRAMMARS AND CONTEXT-FREE GRAMMARS
BUSZKOWSKI, W
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (04): : 369 - 384
[29] Second-order abstract categorial grammars as hyperedge replacement grammars
Kanazawa M.
Journal of Logic, Language and Information, 2010, 19 (2) : 137 - 161
[30] A polynomial algorithm for the membership problem with categorial grammars
Finkel, A
Tellier, I
THEORETICAL COMPUTER SCIENCE, 1996, 164 (1-2) : 207 - 221

← 1 2 3 4 5 →