Movatterモバイル変換
[0]
ホーム
URL:
画像なし
夜間モード
Jump to content
Main menu
Main menu
move to sidebar
hide
Navigation
Main page
Contents
Current events
Random article
About Wikipedia
Contact us
Contribute
Help
Learn to edit
Community portal
Recent changes
Upload file
Special pages
Search
Search
Appearance
Donate
Create account
Log in
Personal tools
Donate
Create account
Log in
Template
:
Formal languages
1 language
中文
Edit links
Template
Talk
English
Read
Edit
View history
Tools
Tools
move to sidebar
hide
Actions
Read
Edit
View history
General
What links here
Related changes
Upload file
Permanent link
Page information
Get shortened URL
Download QR code
Print/export
Download as PDF
Printable version
In other projects
Wikidata item
Appearance
move to sidebar
hide
From Wikipedia, the free encyclopedia
Part of
a series
on
Formal languages
Key concepts
Formal system
Alphabet
Syntax
Formal semantics
Semantics (programming languages)
Formal grammar
Formation rule
Well-formed formula
Automata theory
Regular expression
Production
Ground expression
Atomic formula
Applications
Formal methods
Propositional calculus
Predicate logic
Mathematical notation
Natural language processing
Programming language theory
Mathematical linguistics
Computational linguistics
Syntax analysis
Formal verification
Automated theorem proving
v
t
e
Template documentation
This template's
documentation
is missing, inadequate
, or does not accurately describe its functionality or the
parameters
in its code. Please help
add, expand, or improve it
.
Editors can experiment in this template's sandbox
(
create
|
mirror
)
and testcases
(
create
)
pages.
Subpages of this template
.
Retrieved from "
https://en.wikipedia.org/w/index.php?title=Template:Formal_languages&oldid=1282579799
"
Categories
:
Computer science sidebar templates
Logic templates
Mathematics sidebar templates
Hidden categories:
Sidebars with styles needing conversion
Templates with missing or incorrect documentation
Search
Search
Template
:
Formal languages
1 language
Add topic
[8]
ページ先頭
©2009-2025
Movatter.jp
Template documentation