Class notes 21CSC203P (APP)

21CSC203P -Advanced
Programming Practice




Unit-5

FORMAL AND SYMBOLIC PROGRAMM
PARADIGM




23/11/2025 SYMBOLIC PROGRAMMING PARADIGM

,Outline of the Presentation
1. Automata Based programming Paradigm
--Finite Automata – DFA and NFA
--Implementing using Automaton Library

2. Symbolic Programming Paradigm
--Algebraic manipulations and calculus
-- Sympy Library

3. Event Programming Paradigm
--Event Handler;
--Trigger functions and Events
--Tkinter Library




23/11/2025 SYMBOLIC PROGRAMMING PARADIGM

,Introduction
Automata-based programming is a programming paradigm in which the program or its part is thought of as a mo
state machine or any other formal automation.


What is Automata Theory?
• Automata theory is the study of abstract computational devices
• Abstract devices are (simplified) models of real computations
• Computations happen everywhere: On your laptop, on your cell phone, in nature, …


Example:


input: switch
BATTER output: light bulb
Y
actions: flip switch
states: on, off

, Simple Computer

Example:


input: switch

BATTERY
output: light bulb
actions: flip switch
states: on, off



f

sta o o bulb is on if and only if there w
rt ff n
f number of flips