Theory of Automata

Homework 1

Problem#1: Consider Σ = {a, b}

0 1 2 3
a. 𝐿1 = Σ ∪ Σ ∪ Σ ∪ Σ What is the cardinality of L1.
b. 𝐿2 = {𝑤 𝑜𝑣𝑒𝑟 Σ | |𝑤| > 5 𝑎𝑛𝑑 |𝑤|≤10 𝑎𝑛𝑑 |𝑤| 𝑖𝑠 𝑜𝑑𝑑 }What is the cardinality of L2.
c. 𝐿3 = {𝑤 𝑜𝑣𝑒𝑟 Σ | |𝑤| > 5 𝑎𝑛𝑑 |𝑤|≤10 𝑎𝑛𝑑 |𝑤| 𝑖𝑠 𝑒𝑣𝑒𝑛 }What is the cardinality of L3.
d. 𝐿4 = {𝑤 𝑜𝑣𝑒𝑟 Σ | |𝑤| > 5 𝑎𝑛𝑑 |𝑤|≤10 }What is the cardinality of L4.
e. 𝐿2∩ 𝐿3 and |𝐿2∩ 𝐿3| = ?
f. 𝐿2∩ 𝐿4 and |𝐿2∩ 𝐿4| = ?
g. 𝐿3∩ 𝐿4 and |𝐿3∩ 𝐿4| = ?
h. 𝐿2 − 𝐿4 𝑎𝑛𝑑 |𝐿2 − 𝐿4| = ?
i. 𝐿3 − 𝐿4 𝑎𝑛𝑑 |𝐿3 − 𝐿4| = ?

Problem#2: Consider Σ = {0, 1, 2}

a. 𝐿1 = {𝑠 𝑜𝑣𝑒𝑟 Σ | |𝑠|≤4 𝑎𝑛𝑑 𝑠𝑢𝑚 𝑜𝑓 𝑑𝑖𝑔𝑖𝑡𝑠 𝑖𝑛 𝑠 𝑎𝑟𝑒 ≥5 𝑎𝑛𝑑 ≤10}

b. 𝐿2 = {𝑠 𝑜𝑣𝑒𝑟 Σ | |𝑠|≤4 𝑎𝑛𝑑 𝑠𝑢𝑚 𝑜𝑓 𝑑𝑖𝑔𝑖𝑡𝑠 𝑖𝑛 𝑠 𝑖𝑠 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑏𝑦 2 }
c. 𝐿3 = {𝑠 𝑜𝑣𝑒𝑟 Σ | |𝑠|≤4 𝑎𝑛𝑑 𝑠𝑢𝑚 𝑜𝑓 𝑑𝑖𝑔𝑖𝑡𝑠 𝑖𝑛 𝑠 𝑖𝑠 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑏𝑦 3 }
d. 𝐿4 = {𝑠 𝑜𝑣𝑒𝑟 Σ | |𝑠|≤4 𝑎𝑛𝑑 𝑠𝑢𝑚 𝑜𝑓 𝑑𝑖𝑔𝑖𝑡𝑠 𝑖𝑛 𝑠 𝑖𝑠 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑏𝑦 2 𝑜𝑟 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑏𝑦 3 }
e. 𝐿5 = {𝑠 𝑜𝑣𝑒𝑟 Σ | |𝑠|≤4 𝑎𝑛𝑑 𝑠𝑢𝑚 𝑜𝑓 𝑑𝑖𝑔𝑖𝑡𝑠 𝑖𝑛 𝑠 𝑖𝑠 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑏𝑦 2 𝑎𝑛𝑑 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑏𝑦 3 }
f. 𝐿6 = {𝑠 𝑜𝑣𝑒𝑟 Σ | |𝑠|≤4 𝑎𝑛𝑑 𝑠𝑢𝑚 𝑜𝑓 𝑑𝑖𝑔𝑖𝑡𝑠 𝑖𝑛 𝑠 𝑖𝑠 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑏𝑦 2 𝑏𝑢𝑡 𝑛𝑜𝑡 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑏𝑦 3 }
g. 𝐿7 = {𝑠 𝑜𝑣𝑒𝑟 Σ | |𝑠|≤4 𝑎𝑛𝑑 𝑠𝑢𝑚 𝑜𝑓 𝑑𝑖𝑔𝑖𝑡𝑠 𝑖𝑛 𝑠 𝑖𝑠 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑏𝑦 3 𝑏𝑢𝑡 𝑛𝑜𝑡 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑏𝑦 2 }
h. 𝐿8 = {𝑠 𝑜𝑣𝑒𝑟 Σ − {2} | |𝑠|≤4 𝑎𝑛𝑑 𝑠𝑢𝑚 𝑜𝑓 𝑑𝑖𝑔𝑖𝑡𝑠 𝑖𝑛 𝑠 𝑖𝑠 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑏𝑦 3}
i. 𝐿9 = {𝑠 𝑜𝑣𝑒𝑟 Σ − {2} | |𝑠|≤4 𝑎𝑛𝑑 𝑠𝑢𝑚 𝑜𝑓 𝑑𝑖𝑔𝑖𝑡𝑠 𝑖𝑛 𝑠 𝑖𝑠 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑏𝑦 2}