Grammars with Context Conditions and Their Applications
暫譯: 具有上下文條件的文法及其應用

Alexander Meduna, Martin Švec

Grammars with Context Conditions and Their Applications
  • 出版商: Wiley
  • 出版日期: 2005-06-07
  • 售價: $5,080
  • 貴賓價: 9.5 折 $4,826
  • 語言: 英文
  • 頁數: 232
  • 裝訂: Hardcover
  • ISBN: 0471718319
  • ISBN-13: 9780471718314

    • 海外代購書籍(需單獨結帳)

買這商品的人也買了...

相關主題

商品描述

Description:

The essential guide to grammars with context conditions

This advanced computer science book systematically and compactly summarizes the current knowledge about grammars with context conditions-an important area of formal language theory. According to the types of context conditions, this self-contained reference classifies them into grammars with context conditions placed on the domains of grammatical derivations, the use of grammatical productions, and the neighborhood of the rewritten symbols. The focus is on grammatical generative power, important properties, simplification, reduction, implementation, and applications, most of which are related to microbiology.

The text features:

  • Up-to-date coverage of grammatical concepts based on context conditions
  • Self-contained explanations without assumption of any previous knowledge
  • Clear definitions and exact proofs preceded by intuitive explanations
  • Numerous easy-to-implement grammatical transformations
  • Realistic applications
  • Relation to mathematics, linguistics, and biology
  • Additional material and information about the book available on accompanying Web site (see preface for details)

Practitioners and advanced students in theoretical computer science and related areas- including mathematics, linguistics, and molecular biology-will find Grammars with Context Conditions and Their Applications an essential reference for this cutting-edge area of formal language theory.

 

Table of Contents:

Preface.

Acknowledgments.

1. Introduction.

2. Preliminaries and Definitions.

2.1 Basic Definitions.

2.2 Grammars.

3. Conditions Placed on Derivation Domains.

3.1 Sequential Grammars over Word Monoids.

3.2 Parallel Grammars over Word Monoids.

4. Conditions Placed on the Use of Productions.

4.1 Sequential Conditional Grammars.

4.1.1 Context-Conditional Grammars.

4.1.2 Random-Context Grammars.

4.1.3 Generalized Forbidding Grammars.

4.1.4 Semi-conditional Grammars.

4.1.5 Simple Semi-conditional Grammars.

4.2 Parallel Conditional Grammars.

4.2.1 Context-Conditional ETOL Grammars.

4.2.2 Forbidding ETOL Grammars.

4.2.3 Simple Semi-conditional ETOL Grammars.

4.3 Global Context Conditional Grammars.

5. Conditions Placed on the Neighborhood of Rewritten Symbols.

5.1 Continuous Context.

5.1.1 Sequential Uniform Rewriting.

5.1.2 Parallel Uniform Rewriting.

5.2 Scattered Context.

5.2.1 Scattered Context Grammars and Their Reduction.

5.2.2 Semi-parallel Uniform Rewriting.

6. Grammatical Transformations and Derivation Simulations.

6.1 Derivation Simulation.

6.2 Grammatical Simulation.

6.3 Simulation of E(0,1)L Grammars.

7. Applications and Implementations.

7.1 Applications.

7.2 Implementation.

8. Concluding and Bibliographical Notes.

Bibliography.

Denotations of Language Families.

Subject Index.

商品描述(中文翻譯)

**描述：**
這本進階的計算機科學書籍系統性且簡潔地總結了有關帶有上下文條件的文法的當前知識，這是形式語言理論中的一個重要領域。根據上下文條件的類型，這本自成一體的參考書將其分類為對文法推導的領域、文法產生式的使用以及重寫符號的鄰域施加上下文條件的文法。重點在於文法的生成能力、重要性質、簡化、縮減、實現和應用，其中大多數與微生物學有關。

本書的特點包括：
- 基於上下文條件的文法概念的最新覆蓋
- 自成一體的解釋，無需假設任何先前知識
- 清晰的定義和精確的證明，前面有直觀的解釋
- 許多易於實施的文法轉換
- 實際應用
- 與數學、語言學和生物學的關係
- 附加材料和書籍信息可在隨附的網站上獲得（詳情見前言）

從事理論計算機科學及相關領域（包括數學、語言學和分子生物學）的實踐者和高級學生將會發現《帶有上下文條件的文法及其應用》是這一前沿形式語言理論領域的重要參考資料。

**目錄：**
前言。
致謝。
**1. 引言。**
**2. 預備知識與定義。**
2.1 基本定義。
2.2 文法。
**3. 對推導領域施加的條件。**
3.1 基於字單位的序列文法。
3.2 基於字單位的並行文法。
**4. 對產生式使用施加的條件。**
4.1 序列條件文法。
4.1.1 上下文條件文法。
4.1.2 隨機上下文文法。
4.1.3 一般化禁止文法。
4.1.4 半條件文法。
4.1.5 簡單半條件文法。
4.2 並行條件文法。
4.2.1 上下文條件ETOL文法。
4.2.2 禁止ETOL文法。
4.2.3 簡單半條件ETOL文法。
4.3 全局上下文條件文法。
**5. 對重寫符號的鄰域施加的條件。**
5.1 連續上下文。
5.1.1 序列均勻重寫。
5.1.2 並行均勻重寫。
5.2 零散上下文。
5.2.1 零散上下文文法及其縮減。
5.2.2 半並行均勻重寫。
**6. 文法轉換與推導模擬。**
6.1 推導模擬。
6.2 文法模擬。
6.3 E(0,1)L文法的模擬。
**7. 應用與實現。**
7.1 應用。
7.2 實現。
**8. 結論與參考文獻。**
參考文獻。
語言家族的符號。
主題索引。

類似商品