Skip to content

Language

Axiom-schema

Language

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
- Introduction
- Propositional-calculus
- Axiom-schema Axiom-schema
  Table of contents
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

Axiom Schema

"axiom schema"的中文意思是"公理模式"。我是在阅读wikipedia Chomsky hierarchy 中发现它的:

A formal grammar provides an axiom schema for (or generates) a formal language, which is a (usually infinite) set of finite-length sequences of symbols that may be constructed by applying production rules to another sequence of symbols (which initially contains just the start symbol). A rule may be applied by replacing an occurrence of the symbols on its left-hand side with those that appear on its right-hand side. A sequence of rule applications is called a derivation. Such a grammar defines the formal language: all words consisting solely of terminal symbols which can be reached by a derivation from the start symbol.

https://www.britannica.com/topic/formal-logic What is an axiom schema?

wikipedia Axiom schema

In mathematical logic, an axiom schema (plural: axiom schemata or axiom schemas) generalizes the notion of axiom.

NOTE: 推广了axiom的概念。以 formal grammar 为例，formal grammar中的production就是axiom。

mathworld.wolfram Axiom Schema

sciencedirect Axiom Schema