stratum-corneum 发表于 2025-3-28 16:46:20

Green IS in Education Industry: A Case Studylly-testable (SLT) language of order 2. The family of recognizable picture languages is also defined, using larger . by . tiles, ., by the projection of the corresponding SLT language. A basic measure of the descriptive complexity of a picture language is given by the size of the SLT alphabet using

同步信息 发表于 2025-3-28 21:04:52

http://reply.papertrans.cn/28/2703/270222/270222_42.png

疲劳 发表于 2025-3-29 02:09:25

Grounding of Concept, Indexical, and Name different types to freely commute. We show that balanced regular and .-regular languages can be characterised by syntactic constraints on regular and .-regular expressions and, using the shuffle on trajectories operator, we define grammars for balanced-by-construction expressions with which one can

Substance 发表于 2025-3-29 03:15:58

http://reply.papertrans.cn/28/2703/270222/270222_44.png

CHIDE 发表于 2025-3-29 09:18:18

http://reply.papertrans.cn/28/2703/270222/270222_45.png

heterogeneous 发表于 2025-3-29 13:57:37

Haidong Li,Hai-Lin Liu,Xueyi Liangeighted automata on infinite words and study the universality and the emptiness problems under zero weight acceptance. We show that the universality problem is undecidable for three-state automata by a direct reduction from the .. We also consider other more general acceptance conditions as well as

Irrigate 发表于 2025-3-29 18:06:11

Lecture Notes in Computer Scienceidden patterns for deterministic automata (finite words) and for Carton-Michel automata (infinite words). In order to give concise patterns, we allow the use of subwords on paths in finite graphs. This concept is formalized as subword patterns. Deciding the presence or absence of such a pattern in a

CALL 发表于 2025-3-29 23:09:46

Bong-gyu Jang,Myonghee Lee,Gerard J. Kimthe number of states incident to unobservable non-loop transitions, and this bound is best possible. Here, we derive the tight bound . for permutation automata. For a state-partition automaton with . states (also called automata with the observer property) the projected language is recognizable with

tinnitus 发表于 2025-3-30 01:20:40

Wan-Ling Chang,Ting-Yi Wu,Yu-Hsiu Hunghis type, the problem is always in .. Furthermore, we give a full classification of the realizable complexities for constraint automata with at most two states and over a ternary alphabet. We find that most constrained problems that are .-complete in general become .-complete. However, there also ex

Affectation 发表于 2025-3-30 05:53:48

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/d/image/270222.jpg
页: 1 2 3 4 [5] 6
查看完整版本: Titlebook: Developments in Language Theory; 25th International C Nelma Moreira,Rogério Reis Conference proceedings 2021 Springer Nature Switzerland AG