找回密碼
 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ù) 返回頂部 返回列表
赤峰市| 元氏县| 农安县| 曲麻莱县| 宁蒗| 新巴尔虎左旗| 陆丰市| 会泽县| 壤塘县| 体育| 河曲县| 来宾市| 革吉县| 宿松县| 鄯善县| 旌德县| 普陀区| 武宣县| 汝阳县| 本溪市| 诸城市| 平和县| 商水县| 湾仔区| 军事| 石城县| 时尚| 枣阳市| 开阳县| 清流县| 科技| 平和县| 兴安县| 松原市| 永和县| 安龙县| 文山县| 乌拉特前旗| 奉贤区| 奉化市| 高青县|