找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: Descriptional Complexity of Formal Systems; 13 International Wor Markus Holzer,Martin Kutrib,Giovanni Pighizzini Conference proceedings 201

[復(fù)制鏈接]
樓主: 空格
51#
發(fā)表于 2025-3-30 12:00:43 | 只看該作者
52#
發(fā)表于 2025-3-30 16:12:09 | 只看該作者
On the Degree of Team Cooperation in CD Grammar Systemsl in the sense that the degree of team cooperation of any language is bounded by a constant. Finally, we prove that the degree of team cooperation of a given cooperating/distributed grammar system cannot be algorithmically computed and discuss a decision problem.
53#
發(fā)表于 2025-3-30 18:40:23 | 只看該作者
54#
發(fā)表于 2025-3-30 22:28:52 | 只看該作者
55#
發(fā)表于 2025-3-31 04:00:56 | 只看該作者
56#
發(fā)表于 2025-3-31 05:57:07 | 只看該作者
57#
發(fā)表于 2025-3-31 12:56:32 | 只看該作者
Kleene Theorems for Product Systems . with a restriction of ., that is, the initial global state is a feedback vertex set, going from systems to expressions is still polynomial time; in the reverse direction it is polynomial time with access to an NP oracle for finding deadlocks.
58#
發(fā)表于 2025-3-31 17:16:37 | 只看該作者
59#
發(fā)表于 2025-3-31 17:52:25 | 只看該作者
Inkyu Sa,Stefan Hrabar,Peter Corke+?.(.)). states, where . is the maximum value of .(.., …, ..) for ., known as Landau’s function; (iv) .-th power of an .-state 2DFA, between (.???1).(.)???. and .(.(.)?+?.) states; (v) concatenation of an .-state and an .-state 2DFAs, . states.
60#
發(fā)表于 2025-3-31 23:26:55 | 只看該作者
On Contextual Grammars with Subregular Selection Languages .. Moreover, we give some results on the power of external contextual grammars with regular commutative, regular circular, definite, suffix-free, ordered, combinational, nilpotent, and union-free selection languages.
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-13 11:05
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
青浦区| 台江县| 鄂托克前旗| 娄烦县| 淮北市| 堆龙德庆县| 南江县| 龙门县| 丽水市| 铁岭市| 句容市| 尼勒克县| 泗阳县| 疏勒县| 资中县| 泗洪县| 岳池县| 乌兰浩特市| 襄垣县| 六盘水市| 茂名市| 临沂市| 乌拉特中旗| 商南县| 义乌市| 徐州市| 河津市| 江西省| 江川县| 固安县| 祁东县| 房山区| 嘉祥县| 陕西省| 庆城县| 白城市| 郑州市| 明水县| 云阳县| 余江县| 扶沟县|