找回密碼
 To register

QQ登錄

只需一步,快速開始

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

打印 上一主題 下一主題

Titlebook: Developments in Language Theory; 6th International Co Masami Ito,Masafumi Toyama Conference proceedings 2003 Springer-Verlag Berlin Heidelb

[復(fù)制鏈接]
樓主: cerebral-cortex
31#
發(fā)表于 2025-3-26 23:35:41 | 只看該作者
Constructing Infinite Words of Intermediate Complexity
32#
發(fā)表于 2025-3-27 03:01:48 | 只看該作者
33#
發(fā)表于 2025-3-27 05:46:30 | 只看該作者
Zur Geschichte des H?lderlinschen NachlassesWe associate a modal operator with each language belonging to a given class of regular languages and use the (reverse) wreath product of monoids with distinguished generators to characterize the expressive power of the resulting logic.
34#
發(fā)表于 2025-3-27 11:14:43 | 只看該作者
35#
發(fā)表于 2025-3-27 16:27:57 | 只看該作者
36#
發(fā)表于 2025-3-27 18:06:26 | 只看該作者
37#
發(fā)表于 2025-3-28 01:50:02 | 只看該作者
H?llen-Inszenierung ?Wrestling“We improve the known bounds on the number of pairwise non-isomorphic minimal deterministic finite automata (DFAs) on . states which accept finite languages. The lower bound constructions are iterative approaches which yield recurrence relations.
38#
發(fā)表于 2025-3-28 02:56:19 | 只看該作者
39#
發(fā)表于 2025-3-28 07:37:47 | 只看該作者
Finite Automata Models of Quantized Systems: Conceptual Status and OutlookSince Edward Moore, finite automata theory has been inspired by physics, in particular by quantum complementarity. We review automaton complementarity, reversible automata and the connections to generalized urn models. Recent developments in quantum information theory may have appropriate formalizations in the automaton context.
40#
發(fā)表于 2025-3-28 12:50:04 | 只看該作者
Automata on Linear OrderingsWe consider words indexed by linear orderings. These extend finite, (bi-)infinite words and words on ordinals. We introduce automata and rational expressions for words on linear orderings.
 關(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ī)版|小黑屋| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2026-1-29 08:08
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
苏尼特左旗| 通榆县| 高雄县| 乐业县| 衢州市| 错那县| 萨迦县| 慈溪市| 樟树市| 濮阳市| 滨州市| 万荣县| 剑河县| 龙南县| 克山县| 嘉峪关市| 阿克陶县| 开封县| 乌鲁木齐市| 太白县| 金华市| 玉门市| 太湖县| 通江县| 西乌珠穆沁旗| 博爱县| 长宁县| 安平县| 郯城县| 布拖县| 奈曼旗| 梨树县| 水富县| 乌拉特后旗| 德格县| 怀集县| 渭南市| 花莲市| 碌曲县| 商南县| 天祝|