找回密碼
 To register

QQ登錄

只需一步,快速開始

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

打印 上一主題 下一主題

Titlebook: Automata, Languages and Programming; Fourth Colloquium, U Arto Salomaa,Magnus Steinby Conference proceedings 1977 Springer-Verlag Berlin He

[復(fù)制鏈接]
樓主: angiotensin-I
11#
發(fā)表于 2025-3-23 13:46:53 | 只看該作者
Serial composition of 2-way finite-state transducers and simple programs on strings,
12#
發(fā)表于 2025-3-23 15:08:54 | 只看該作者
13#
發(fā)表于 2025-3-23 21:02:07 | 只看該作者
14#
發(fā)表于 2025-3-24 02:09:22 | 只看該作者
15#
發(fā)表于 2025-3-24 04:12:01 | 只看該作者
16#
發(fā)表于 2025-3-24 09:01:23 | 只看該作者
https://doi.org/10.1007/b138054(n)..We investigate lower and upper bounding functions for the right-contextsensitivity functions of contextsensitive grammars and languages and study the families of context-sensitive languages with right-contextsensitivity functions bounded by some particular sublinear functions f.
17#
發(fā)表于 2025-3-24 11:39:53 | 只看該作者
https://doi.org/10.1007/978-3-540-73410-9e expressions and equations..Since one might interprete label grammars as a special kind of labelled Petri nets, where each transition has exactly one input arc, we solved the elemination problem of λ-transitions for this restricted class of Petri nets, even if there occur infinite firing-sequences using only λ-transitions within a net.
18#
發(fā)表于 2025-3-24 15:40:42 | 只看該作者
The contextsensitivity bounds of contextsensitive grammars and languages,(n)..We investigate lower and upper bounding functions for the right-contextsensitivity functions of contextsensitive grammars and languages and study the families of context-sensitive languages with right-contextsensitivity functions bounded by some particular sublinear functions f.
19#
發(fā)表于 2025-3-24 21:53:57 | 只看該作者
Renaming and erasing in szilard languages,e expressions and equations..Since one might interprete label grammars as a special kind of labelled Petri nets, where each transition has exactly one input arc, we solved the elemination problem of λ-transitions for this restricted class of Petri nets, even if there occur infinite firing-sequences using only λ-transitions within a net.
20#
發(fā)表于 2025-3-25 02:31:56 | 只看該作者
 關(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-9 04:22
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
嵩明县| 夹江县| 夏津县| 皮山县| 兴业县| 兴海县| 湘潭市| 丰都县| 丹凤县| 台东市| 皋兰县| 玛纳斯县| 古田县| 泰州市| 冀州市| 平阳县| 朔州市| 花莲市| 平陆县| 诸城市| 东乌珠穆沁旗| 石嘴山市| 高雄县| 渭南市| 五原县| 东莞市| 大宁县| 梓潼县| 兰西县| 米易县| 策勒县| 沿河| 淮滨县| 潼关县| 鲜城| 南雄市| 临洮县| 阿拉善右旗| 灵武市| 如皋市| 灵山县|