找回密碼
 To register

QQ登錄

只需一步,快速開始

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

打印 上一主題 下一主題

Titlebook: Mathematical Foundations of Computer Science 1975; 4th Symposium Marian Jí?í Be?vá? Conference proceedings 1975 Springer-Verlag Berlin Heid

[復制鏈接]
樓主: finesse
31#
發(fā)表于 2025-3-26 23:43:51 | 只看該作者
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/626113.jpg
32#
發(fā)表于 2025-3-27 01:39:50 | 只看該作者
https://doi.org/10.1007/3-540-07389-2Boolean function; Monoid; Semiotik; algorithms; automata; complexity; derivation; formal grammar; formal lan
33#
發(fā)表于 2025-3-27 09:14:45 | 只看該作者
On complexity of nondeterministic Turing machines computations,es recognized with the crossing and reversal bound f, respectively, is proved. This result is used to show that CS-languages can be characterized as a "projection" of a class of languages recognized by deterministic Turing machines.
34#
發(fā)表于 2025-3-27 12:45:36 | 只看該作者
35#
發(fā)表于 2025-3-27 15:40:30 | 只看該作者
36#
發(fā)表于 2025-3-27 20:52:49 | 只看該作者
Parallel recursive program schemes,ion of parallel components of recursive schemes. The parallel composition of languages is introduced and some properties of this notion are given. It is shown how the theory of recursive procedures can be extended to procedures containing parallel operations. An example shows an application of the above approach.
37#
發(fā)表于 2025-3-28 01:41:27 | 只看該作者
Parsing as a subtask of compiling,tegrated theory of parsing and compiling using affix (Koster [18]) or attribute grammars (Lewis [25], Bochmann [2], Knuth [16])..In this paper the requirements on parsing methods in compilers are discussed. The advantages of top-down parsing method are summarized and a modification of the top-down m
38#
發(fā)表于 2025-3-28 02:15:40 | 只看該作者
39#
發(fā)表于 2025-3-28 10:12:20 | 只看該作者
On the representability of relations by deterministic and nondeterministic multi-tape automata,ne-way read-only head on each of them. In each step depending on the current state some of these heads are activated and read one symbol from the corresponding tape. Depending on the symbols read and on the numbers of the tapes from which they are read the current state is changed in a deterministic
40#
發(fā)表于 2025-3-28 11:07:22 | 只看該作者
 關于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學 Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經(jīng)驗總結 SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學 Yale Uni. Stanford Uni.
QQ|Archiver|手機版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-8 04:52
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權所有 All rights reserved
快速回復 返回頂部 返回列表
隆子县| 闵行区| 岳西县| 顺义区| 榆社县| 大港区| 博兴县| 都匀市| 黑山县| 尤溪县| 上栗县| 玉龙| 平利县| 呼伦贝尔市| 秭归县| 崇左市| 武宣县| 惠安县| 哈巴河县| 托克托县| 商洛市| 江津市| 连江县| 黑山县| 龙门县| 五莲县| 金华市| 桃园市| 黄陵县| 莲花县| 都兰县| 蓬莱市| 怀仁县| 遂平县| 和田县| 黎城县| 平顺县| 扶沟县| 华阴市| 离岛区| 濉溪县|