サイト内検索

詳細検索

ヘルプ

セーフサーチについて

性的・暴力的に過激な表現が含まれる作品の表示を調整できる機能です。
ご利用当初は「セーフサーチ」が「ON」に設定されており、性的・暴力的に過激な表現が含まれる作品の表示が制限されています。
全ての作品を表示するためには「OFF」にしてご覧ください。
※セーフサーチを「OFF」にすると、アダルト認証ページで「はい」を選択した状態になります。
※セーフサーチを「OFF」から「ON」に戻すと、次ページの表示もしくはページ更新後に認証が入ります。

アウトレットブックポイント2倍キャンペーン  ~12月31日

目次

英語で学ぶ計算理論

英語で学ぶ計算理論

  • ツォイクマン・トーマス(共著)/ 湊 真一(共著)/ 大久保 好章(共著)
  • 1.Introducing Formal Languages
    • 1.1 Introduction
    • 1.2 Basic Definitions and Notations
    • 1.3 Strings and Languages
    • 1.4 Palindromes
    • 1.5 Problem Set 1
  • 2.Introducing Formal Grammars
    • 2.1 Defining Formal Grammars
    • 2.2 Regular Languages
    • 2.3 Problem Set 2
  • 3.Finite State Automata
    • 3.1 Computing with Finite Automata
    • 3.2 Finite Automata and Regular Languages
    • 3.3 Problem Set 3
  • 4.Characterizations of REG
    • 4.1 Nerode’s Theorem
    • 4.2 Regular Explessions
    • 4.3 The Pumping Lemma for Regular Languages
    • 4.4 Problem Set 4
  • 5.Regular Expressions in UNIX
    • 5.1 Lexical Analysis
    • 5.2 Finding Patterns in Text
    • 5.3 Problem Set 5
  • 6.Context‐Free Languages
    • 6.1 Defining Context‐Free Languages
    • 6.2 Closure Properties for Context‐Free Languages
    • 6.3 Problem Set 6
  • 7.More About Context‐Free Languages
    • 7.1 Backus−Naur Form
    • 7.2 Parse Trees,Ambiguity
    • 7.3 Chomsky Normal Form
    • 7.4 Problem Set 7
  • 8.CF and Homomorphisms
    • 8.1 Substitutions and Homomorphisms
    • 8.2 Homomorphic Characterization of CF
    • 8.3 Problem Set 8
  • 9.Pushdown Automata
    • 9.1 Introducing Pushdown Automata
    • 9.2 PDAs and Context‐Free Languages
    • 9.3 Problem Set 9
  • 10.CF,PDAs and Beyond
    • 10.1 Greibach Normal Form
    • 10.2 Main Theorem
    • 10.3 Context−Sensitive Languages
    • 10.4 Problem Set 10
  • 11.Models of Computation
    • 11.1 Partial Recursive Functions
    • 11.2 Pairing Functions
    • 11.3 General Recursive Functions
    • 11.4 Problem Set 11
  • 12.Turing Machines
    • 12.1 One−tape Turing Machines
    • 12.2 Turing Computations
    • 12.3 The Universal Turing Machine
    • 12.4 Accepting Languages
    • 12.5 Problem Set 12
  • 13.Algorithmic Unsolvability
    • 13.1 The Halting Ploblem
    • 13.2 Post’s Correspondence Problem
    • 13.3 Problem Set 13
  • 14.Applications of PCP
    • 14.1 Resluts for Context‐Free Languages
    • 14.2 Back to Regular Languages
    • 14.3 Results concerning L0
    • 14.4 Summary
    • 14.5 Problem Set 14
  • 15.Numberings,Complexity
    • 15.1 Gödel Numberings
    • 15.2 The Fixed Point,the Recursion,and Rice’s Theorems
    • 15.3 Complexity
    • 15.4 Complexity Classes
    • 15.5 Problem Set 15
  • Appendix
    • A.1 Greek Alphabet(ギリシャ文字)
  • Bibliography
  • Subject Index
  • 和英索引
  • List of Symbols
  • 16.Solutions of Problems
    • 16.1 Solving Problem Set 1
    • 16.2 Solving Problem Set 2
    • 16.3 Solving Problem Set 3
    • 16.4 Solving Problem Set 4
    • 16.5 Solving Problem Set 5
    • 16.6 Solving Problem Set 6
    • 16.7 Solving Problem Set 7
    • 16.8 Solving Problem Set 8
    • 16.9 Solving Problem Set 9
    • 16.10 Solving Problem Set 10
    • 16.11 Solving Problem Set 11
    • 16.12 Solving Problem Set 12
    • 16.13 Solving Problem Set 13
    • 16.14 Solving Problem Set 14
    • 16.15 Solving Problem Set 15

情報理論・情報科学 ランキング

情報理論・情報科学のランキングをご紹介します一覧を見る

前へ戻る

次に進む