Editing Formal Languages (section)

== <span style="color: #FFFFFF;">Applying</span> ==
'''Modeling 'The Simple Grammar' (A script that generates valid 'Sentences'):'''
<syntaxhighlight lang="python">
import random

# Formal Grammar: S -> Subject Verb
grammar = {
    "Subject": ["Code", "Logic", "Data"],
    "Verb": ["Compiles", "Processes", "Crashes"]
}

def generate_formal_sentence():
    """
    Shows how 'Rules' generate 'Languages'.
    """
    subj = random.choice(grammar["Subject"])
    verb = random.choice(grammar["Verb"])
    return f"{subj} {verb}"

# Generating the 'Language' of this grammar
print(f"Sentence 1: {generate_formal_sentence()}")
print(f"Sentence 2: {generate_formal_sentence()}")
</syntaxhighlight>

; Language Landmarks
: '''Backus-Naur Form (BNF)''' → The "Standard Notation" used to "Write down" the rules of a programming language. It is the "Map" that all compiler-builders use.
: '''HTML and XML''' → "Markup Languages" that are "Context-Free." They rely on "Balanced Tags," which is why you can't parse HTML with simple "Regular Expressions" (it's too complex for an FSM).
: '''Natural Language Processing (NLP)''' → The attempt to treat "English" as a "Formal Language" so AIs can understand it. (This was the original goal of Chomsky, but English proved to be "Too Context-Sensitive" for simple math).
: '''The 'Ambiguous' Grammar''' → A "Bug" in a language where "One sentence" can have "Two Different Syntax Trees" (e.g., '1 + 2 * 3'—does it mean 7 or 9?). Formal languages must be "Unambiguous" to work in a computer.
</div>

<div style="background-color: #8B4500; color: #FFFFFF; padding: 20px; border-radius: 8px; margin-bottom: 15px;">