algorithmic language
type: Concept
broader: formal language
preferred label: زبان الگوریتمی @fa

context-free language
type: Concept
broader: formal language
preferred label: زبان متن‌آزاد @fa

context-sensitive language
type: Concept
broader: formal language
preferred label: زبان متن‌حساس @fa

formal language
type: Concept
alternative label: regular language
broader: language
narrower: context-sensitive language
narrower: algorithmic language
narrower: context-free language
preferred label: زبان صوری @fa
related: programming language
related: computational linguistics
related: specification language
related: ML language
related: grammar
related: rewriting system
related: formal logic
related: natural language
related: programming language semantics
related: Horn clauses
related: query language

natural language
type: Concept
preferred label: زبان طبیعی @fa
related: formal language

query language
type: Concept
preferred label: زبان پرس و جو @fa
related: formal language

ML language
type: Concept
preferred label: زبان ام.ال. @fa
related: formal language

programming language
type: Concept
preferred label: زبان برنامه‌نویسی @fa
related: formal language

specification language
type: Concept
preferred label: زبان خصوصیات @fa
related: formal language

language
type: Concept
narrower: formal language
preferred label: زبان @fa

rewriting system
type: Concept
preferred label: سامانه بازنویسی @fa
related: formal language

grammar
type: Concept
preferred label: دستور زبان @fa
related: formal language

programming language semantics
type: Concept
preferred label: معنی‌شناسی زبان برنامه‌نویسی @fa
related: formal language

computational linguistics
type: Concept
preferred label: زبان‌شناسی رایانشی @fa
related: formal language

Horn clauses
type: Concept
preferred label: شرط هورن @fa
related: formal language

formal logic
type: Concept
preferred label: منطق صوری @fa
related: formal language