Language

Home

Language

GitHub

Home
Language
Language
- Introduction
- Classification
  Classification
  - Introduction
  - Domain-specific-language
    Domain-specific-language
    
    Introduction
    
    martinfowler-Domain-Specific-Languages
    martinfowler-Domain-Specific-Languages
    
    Introduction
  - GPL-and-DSL
  - Official-and-dialect
  - Host-and-embeded-and-meta
- Language-and-computation
  Language-and-computation
  - Introduction
  - Language-for-structure
    Language-for-structure
    
    Introduction
    
    Zephyr-ASDL
    Zephyr-ASDL
    
    Introduction
    
    thegreenplace-Using-ASDL-to-describe-ASTs-in-compilers
    thegreenplace-Using-ASDL-to-describe-ASTs-in-compilers
    
    Introduction
    
    paper-The-Zephyr-Abstract-Syntax-Description-Language
    paper-The-Zephyr-Abstract-Syntax-Description-Language
    
    Introduction
  - Structure-of-language
    Structure-of-language
    
    Grammar
- Language-in-discipline
- Expressive-power
  Expressive-power
  - Introduction
- Language-agnostic
  Language-agnostic
  - Introduction
Formal-language
Formal-language
- Introduction
- Formal-and-formal-langugae
  Formal-and-formal-langugae
  - Introduction
- wikipedia-Formal-language
  wikipedia-Formal-language
  - Introduction
- Intermediate-language
  Intermediate-language
  - Introduction
- Formal-grammar
  Formal-grammar
  - Formal-grammar
    Formal-grammar
    
    Introduction
  - Production
    Production
    
    Introduction
  - Chomsky-hierarchy
    Chomsky-hierarchy
    
    Introduction
    
    Type-0
    Type-0
    
    Recursively-enumerable-language
    
    Type-1
    Type-1
    
    Context-sensitive-language
    
    Type-2
    Type-2
    
    Context-free-language
    
    Pushdown-automaton
    Pushdown-automaton
    
    Introduction
    
    Type-3
    Type-3
    
    Introduction
    
    对比分析
    对比分析
    
    Introduction
  - Parsing-Expression-Grammars
    Parsing-Expression-Grammars
    
    Introduction
- Summary-of-theory
  Summary-of-theory
  - Introduction
Formal-language-processing
Formal-language-processing
- Introduction
- Formal-language-processor
  Formal-language-processor
  - Introduction
- Pattern
  Pattern
  - Introduction
  - Composite-pattern
    Composite-pattern
    
    Introduction
  - Interpreter-pattern
    Interpreter-pattern
    
    Introduction
  - Translator-Pattern
    Translator-Pattern
    
    Introduction
Regular-language
Regular-language
- Introduction
- Regular-expression
  Regular-expression
  - Introduction
  - Regex-Engine
    Regex-Engine
    
    Introduction
    
    Thompson's-construction
    Thompson's-construction
    
    Introduction
    
    Powerset-construction
    Powerset-construction
    
    Introduction
Mathematical-logic
Mathematical-logic
Symbolic-computation
Symbolic-computation
- Introduction
- What-is-symbol
  What-is-symbol
  - Introduction
- Symbolic-computation
  Symbolic-computation
  - Introduction
  - risc-Studying-Symbolic-Computation
    risc-Studying-Symbolic-Computation
    
    Introduction
- Symbolic-programming
  Symbolic-programming
  - Introduction
  - utexas-CS-378-Symbolic-Programming
    utexas-CS-378-Symbolic-Programming
    
    Introduction
- Symbol-expression
  Symbol-expression
  - Introduction
- Expression-oriented-language
  Expression-oriented-language
  - Introduction
- Expression-problem
  Expression-problem
  - Introduction
  - Extended-visitor-pattern
    Extended-visitor-pattern
    
    Introduction
    
    eli.thegreenplace-The-Expression-Problem-and-its-solutions
    eli.thegreenplace-The-Expression-Problem-and-its-solutions
    
    Introduction
    
    Synthesizing-Object-Oriented-and-Functional-Design-to-Promote-Re-Use
    Synthesizing-Object-Oriented-and-Functional-Design-to-Promote-Re-Use
    
    Introduction
  - Object-Algebra
    Object-Algebra
    
    Introduction
- Computer-algebra
  Computer-algebra
  - Introduction
LaTeX
LaTeX
- Introduction
- LaTeX-under
  LaTeX-under
  - Introduction
Dyck-language
Dyck-language
- Introduction

关于本工程

出于如下原因我创建了这个项目：

在从事NLP相关的项目的开发过程中，遇到了很多和语言相关的理论
阅读《Natural Language Processing with Python》时，发现其中涉及了一些和语言相关的理论
阅读《Compilers: Principles, Techniques, and Tools》（龙书）时，发现其中涉及了很多formal language相关的理论
对language的思考

这个项目是对语言相关的理论的一个梳理，它主要作为如下项目所涉及的理论的总结：

工程 compiler-principle
工程 programming-language

作为software engineer，我们不仅仅需要会使用programming language，还需要掌握如何设计programming language、computation of language。

主要内容如下:

章节	主要内容
Language	描述language相关的内容
Formal language	对formal language进行描述