Kitti Gelle (University of Szeged, Hungary) |
Szabolcs Iván (University of Szeged, Hungary) |
We show that if a context-free grammar generates a language whose lexicographic ordering is well-ordered of type less than ω^2, then its order type is effectively computable. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.305.12 | bibtex | |
Comments and questions to:
![]() |
For website issues:
![]() |