SlideShare a Scribd company logo
Costas Busch - LSU 1
Simplifications
of
Context-Free Grammars
Costas Busch - LSU 2
A Substitution Rule
bB
aAB
abBcA
aaAA
aBS





Substitute
Equivalent
grammar
aAB
abbcabBcA
aaAA
abaBS




|
|
bB 
Costas Busch - LSU 3
Equivalent
grammarabaAcabbcabBcA
aaAA
aaAabaBS
||
||



aAB
abbcabBcA
aaAA
abaBS




|
|
Substitute
aAB 
Costas Busch - LSU 4
In general:
1yB
xBzA


Substitute
zxyxBzA 1|
equivalent
grammar
1yB 
Costas Busch - LSU 5
Nullable Variables
:production X
Nullable Variable: Y
Example:



M
aMbM
aMbS
Nullable variable production
Costas Busch - LSU 6
M



M
aMbM
aMbS
Substitute
abaMbM
abaMbS
|
|


Removing sproduction
After we remove all the
all the nullable variables disappear
(except for the start variable)
sproduction
Costas Busch - LSU 7
Unit-Productions
YX Unit Production:
(a single variable in both sides)
bbB
AB
BA
aA
aAS




Example:
Unit Productions
Costas Busch - LSU 8
bbB
AB
BA
aA
aAS





Substitute
BA 
bbB
BAB
aA
aBaAS




|
|
Removal of unit productions:
Costas Busch - LSU 9
Remove
bbB
BAB
aA
aBaAS




|
|
bbB
AB
aA
aBaAS



 |
BB 
XX 
can be removed immediately
Unit productions of form
Costas Busch - LSU 10
Substitute
AB 
bbB
aA
aAaBaAS


 ||
bbB
AB
aA
aBaAS



 |
Costas Busch - LSU 11
Remove repeated productions
bbB
aA
aBaAS


 |
bbB
aA
aAaBaAS


 ||
Final grammar
Costas Busch - LSU 12
Useless Productions
aAA
AS
S
aSbS





  aAaaaaAaAAS
Some derivations never terminate...
Useless Production
Costas Busch - LSU 13
bAB
A
aAA
AS





Another grammar:
Not reachable from S
Useless Production
Costas Busch - LSU 14
In general:
If there is a derivation
)(GLwxAyS  
Then variable is usefulA
Otherwise, variable is uselessA
consists of
terminals
Costas Busch - LSU 15
A production is useless
if any of its variables is useless
xA 
DC
CB
aAA
AS
S
aSbS






 Productions
useless
useless
useless
useless
Variables
useless
useless
useless
Costas Busch - LSU 16
Example Grammar:
aCbC
aaB
aA
CAaSS



 ||
Removing Useless Variables and Productions
Costas Busch - LSU 17
First: find all variables that can produce
strings with only terminals or
aCbC
aaB
aA
CAaSS



 || },{ BA
},,{ SBA
Round 1:
Round 2:
(possible useful variables)

(the right hand side of production
that has only terminals)
(the right hand side of a production
has terminals and
variables of previous round)
This process can be generalized
Costas Busch - LSU 18
Then, remove productions that use variables
other than
aCbC
aaB
aA
CAaSS



 ||
},,{ SBA
aaB
aA
AaSS


 |
Costas Busch - LSU 19
Second: Find all variables
reachable from
aaB
aA
AaSS


 |
S A B
Use a Dependency Graph
where nodes are variables
unreachable
S
Costas Busch - LSU 20
Keep only the variables
reachable from S
aaB
aA
AaSS


 |
aA
AaSS

 |
Final Grammar
Contains only
useful variables
Costas Busch - LSU 21
Removing All
Step 1: Remove Nullable Variables
Step 2: Remove Unit-Productions
Step 3: Remove Useless Variables
This sequence guarantees that
unwanted variables and productions
are removed

More Related Content

Viewers also liked

Tania
TaniaTania
Tania
Shiraz316
 
Telecom lect 4
Telecom lect 4Telecom lect 4
Telecom lect 4
Shiraz316
 
Languages
LanguagesLanguages
Languages
Shiraz316
 
Analog Transmission
Analog TransmissionAnalog Transmission
Analog Transmission
Shiraz316
 
Agile for-dummies
Agile for-dummiesAgile for-dummies
Agile for-dummies
Shiraz316
 
Agile pm lect1
Agile pm lect1Agile pm lect1
Agile pm lect1
Shiraz316
 
Turing variations
Turing variationsTuring variations
Turing variations
Shiraz316
 
Universal turing coastus
Universal turing coastusUniversal turing coastus
Universal turing coastus
Shiraz316
 
Theory of Computation
Theory of ComputationTheory of Computation
Theory of Computation
Shiraz316
 
Finite Automata
Finite AutomataFinite Automata
Finite Automata
Shiraz316
 
Telecom lect 3
Telecom lect 3Telecom lect 3
Telecom lect 3
Shiraz316
 
Telecom lect 8
Telecom lect 8Telecom lect 8
Telecom lect 8
Shiraz316
 
Telecom lect 2
Telecom lect 2Telecom lect 2
Telecom lect 2
Shiraz316
 
Telecom lect 5
Telecom lect 5Telecom lect 5
Telecom lect 5
Shiraz316
 
Wifi & wi max
Wifi & wi maxWifi & wi max
Wifi & wi max
Shiraz316
 
Martin folwer
Martin folwerMartin folwer
Martin folwer
Shiraz316
 
Machine Learning
Machine LearningMachine Learning
Machine Learning
Shiraz316
 

Viewers also liked (17)

Tania
TaniaTania
Tania
 
Telecom lect 4
Telecom lect 4Telecom lect 4
Telecom lect 4
 
Languages
LanguagesLanguages
Languages
 
Analog Transmission
Analog TransmissionAnalog Transmission
Analog Transmission
 
Agile for-dummies
Agile for-dummiesAgile for-dummies
Agile for-dummies
 
Agile pm lect1
Agile pm lect1Agile pm lect1
Agile pm lect1
 
Turing variations
Turing variationsTuring variations
Turing variations
 
Universal turing coastus
Universal turing coastusUniversal turing coastus
Universal turing coastus
 
Theory of Computation
Theory of ComputationTheory of Computation
Theory of Computation
 
Finite Automata
Finite AutomataFinite Automata
Finite Automata
 
Telecom lect 3
Telecom lect 3Telecom lect 3
Telecom lect 3
 
Telecom lect 8
Telecom lect 8Telecom lect 8
Telecom lect 8
 
Telecom lect 2
Telecom lect 2Telecom lect 2
Telecom lect 2
 
Telecom lect 5
Telecom lect 5Telecom lect 5
Telecom lect 5
 
Wifi & wi max
Wifi & wi maxWifi & wi max
Wifi & wi max
 
Martin folwer
Martin folwerMartin folwer
Martin folwer
 
Machine Learning
Machine LearningMachine Learning
Machine Learning
 

More from Shiraz316

FINGERNAIL DISORDER DETECTION FOR DISEASE ANALYSIS
FINGERNAIL DISORDER DETECTION FOR DISEASE ANALYSISFINGERNAIL DISORDER DETECTION FOR DISEASE ANALYSIS
FINGERNAIL DISORDER DETECTION FOR DISEASE ANALYSIS
Shiraz316
 
K neareast neighbor algorithm presentation
K neareast neighbor algorithm presentationK neareast neighbor algorithm presentation
K neareast neighbor algorithm presentation
Shiraz316
 
Khi 087 revised dt report
Khi 087 revised dt reportKhi 087 revised dt report
Khi 087 revised dt report
Shiraz316
 
Khi 117 revised dt report
Khi 117 revised dt reportKhi 117 revised dt report
Khi 117 revised dt report
Shiraz316
 
Khi 164 revised dt report
Khi 164 revised dt reportKhi 164 revised dt report
Khi 164 revised dt report
Shiraz316
 
Khi 054 revised dt report
Khi 054 revised dt reportKhi 054 revised dt report
Khi 054 revised dt report
Shiraz316
 
Khi 061 revised dt report
Khi 061 revised dt reportKhi 061 revised dt report
Khi 061 revised dt report
Shiraz316
 
Khi 022 revised dt report
Khi 022 revised dt reportKhi 022 revised dt report
Khi 022 revised dt report
Shiraz316
 
Khi 113 revised dt report
Khi 113 revised dt reportKhi 113 revised dt report
Khi 113 revised dt report
Shiraz316
 
Khi 156 revised dt report
Khi 156 revised dt reportKhi 156 revised dt report
Khi 156 revised dt report
Shiraz316
 
Khi 142 revised dt report
Khi 142 revised dt reportKhi 142 revised dt report
Khi 142 revised dt report
Shiraz316
 
Khi 316 revised dt report
Khi 316 revised dt reportKhi 316 revised dt report
Khi 316 revised dt report
Shiraz316
 
Khi 186 revised dt report
Khi 186 revised dt reportKhi 186 revised dt report
Khi 186 revised dt report
Shiraz316
 
Khi 052 revised dt report
Khi 052 revised dt reportKhi 052 revised dt report
Khi 052 revised dt report
Shiraz316
 
Khi 151 revised dt report
Khi 151 revised dt reportKhi 151 revised dt report
Khi 151 revised dt report
Shiraz316
 
Khi 150 revised dt report
Khi 150 revised dt reportKhi 150 revised dt report
Khi 150 revised dt report
Shiraz316
 
Khi 078 revised dt report
Khi 078 revised dt reportKhi 078 revised dt report
Khi 078 revised dt report
Shiraz316
 
LTE quick introduction session Training
LTE quick introduction session TrainingLTE quick introduction session Training
LTE quick introduction session Training
Shiraz316
 
LTE Sales Training for CPE Device
LTE Sales Training for CPE DeviceLTE Sales Training for CPE Device
LTE Sales Training for CPE Device
Shiraz316
 
Witribe Customer Premises Equipment Training for LTE
Witribe Customer Premises Equipment Training for LTEWitribe Customer Premises Equipment Training for LTE
Witribe Customer Premises Equipment Training for LTE
Shiraz316
 

More from Shiraz316 (20)

FINGERNAIL DISORDER DETECTION FOR DISEASE ANALYSIS
FINGERNAIL DISORDER DETECTION FOR DISEASE ANALYSISFINGERNAIL DISORDER DETECTION FOR DISEASE ANALYSIS
FINGERNAIL DISORDER DETECTION FOR DISEASE ANALYSIS
 
K neareast neighbor algorithm presentation
K neareast neighbor algorithm presentationK neareast neighbor algorithm presentation
K neareast neighbor algorithm presentation
 
Khi 087 revised dt report
Khi 087 revised dt reportKhi 087 revised dt report
Khi 087 revised dt report
 
Khi 117 revised dt report
Khi 117 revised dt reportKhi 117 revised dt report
Khi 117 revised dt report
 
Khi 164 revised dt report
Khi 164 revised dt reportKhi 164 revised dt report
Khi 164 revised dt report
 
Khi 054 revised dt report
Khi 054 revised dt reportKhi 054 revised dt report
Khi 054 revised dt report
 
Khi 061 revised dt report
Khi 061 revised dt reportKhi 061 revised dt report
Khi 061 revised dt report
 
Khi 022 revised dt report
Khi 022 revised dt reportKhi 022 revised dt report
Khi 022 revised dt report
 
Khi 113 revised dt report
Khi 113 revised dt reportKhi 113 revised dt report
Khi 113 revised dt report
 
Khi 156 revised dt report
Khi 156 revised dt reportKhi 156 revised dt report
Khi 156 revised dt report
 
Khi 142 revised dt report
Khi 142 revised dt reportKhi 142 revised dt report
Khi 142 revised dt report
 
Khi 316 revised dt report
Khi 316 revised dt reportKhi 316 revised dt report
Khi 316 revised dt report
 
Khi 186 revised dt report
Khi 186 revised dt reportKhi 186 revised dt report
Khi 186 revised dt report
 
Khi 052 revised dt report
Khi 052 revised dt reportKhi 052 revised dt report
Khi 052 revised dt report
 
Khi 151 revised dt report
Khi 151 revised dt reportKhi 151 revised dt report
Khi 151 revised dt report
 
Khi 150 revised dt report
Khi 150 revised dt reportKhi 150 revised dt report
Khi 150 revised dt report
 
Khi 078 revised dt report
Khi 078 revised dt reportKhi 078 revised dt report
Khi 078 revised dt report
 
LTE quick introduction session Training
LTE quick introduction session TrainingLTE quick introduction session Training
LTE quick introduction session Training
 
LTE Sales Training for CPE Device
LTE Sales Training for CPE DeviceLTE Sales Training for CPE Device
LTE Sales Training for CPE Device
 
Witribe Customer Premises Equipment Training for LTE
Witribe Customer Premises Equipment Training for LTEWitribe Customer Premises Equipment Training for LTE
Witribe Customer Premises Equipment Training for LTE
 

Recently uploaded

一比一原版(CSU毕业证)加利福尼亚州立大学毕业证成绩单专业办理
一比一原版(CSU毕业证)加利福尼亚州立大学毕业证成绩单专业办理一比一原版(CSU毕业证)加利福尼亚州立大学毕业证成绩单专业办理
一比一原版(CSU毕业证)加利福尼亚州立大学毕业证成绩单专业办理
ufdana
 
Internet of Things in Manufacturing: Revolutionizing Efficiency & Quality | C...
Internet of Things in Manufacturing: Revolutionizing Efficiency & Quality | C...Internet of Things in Manufacturing: Revolutionizing Efficiency & Quality | C...
Internet of Things in Manufacturing: Revolutionizing Efficiency & Quality | C...
CIOWomenMagazine
 
制作毕业证书(ANU毕业证)莫纳什大学毕业证成绩单官方原版办理
制作毕业证书(ANU毕业证)莫纳什大学毕业证成绩单官方原版办理制作毕业证书(ANU毕业证)莫纳什大学毕业证成绩单官方原版办理
制作毕业证书(ANU毕业证)莫纳什大学毕业证成绩单官方原版办理
cuobya
 
办理新西兰奥克兰大学毕业证学位证书范本原版一模一样
办理新西兰奥克兰大学毕业证学位证书范本原版一模一样办理新西兰奥克兰大学毕业证学位证书范本原版一模一样
办理新西兰奥克兰大学毕业证学位证书范本原版一模一样
xjq03c34
 
国外证书(Lincoln毕业证)新西兰林肯大学毕业证成绩单不能毕业办理
国外证书(Lincoln毕业证)新西兰林肯大学毕业证成绩单不能毕业办理国外证书(Lincoln毕业证)新西兰林肯大学毕业证成绩单不能毕业办理
国外证书(Lincoln毕业证)新西兰林肯大学毕业证成绩单不能毕业办理
zoowe
 
Should Repositories Participate in the Fediverse?
Should Repositories Participate in the Fediverse?Should Repositories Participate in the Fediverse?
Should Repositories Participate in the Fediverse?
Paul Walk
 
制作原版1:1(Monash毕业证)莫纳什大学毕业证成绩单办理假
制作原版1:1(Monash毕业证)莫纳什大学毕业证成绩单办理假制作原版1:1(Monash毕业证)莫纳什大学毕业证成绩单办理假
制作原版1:1(Monash毕业证)莫纳什大学毕业证成绩单办理假
ukwwuq
 
Search Result Showing My Post is Now Buried
Search Result Showing My Post is Now BuriedSearch Result Showing My Post is Now Buried
Search Result Showing My Post is Now Buried
Trish Parr
 
学位认证网(DU毕业证)迪肯大学毕业证成绩单一比一原版制作
学位认证网(DU毕业证)迪肯大学毕业证成绩单一比一原版制作学位认证网(DU毕业证)迪肯大学毕业证成绩单一比一原版制作
学位认证网(DU毕业证)迪肯大学毕业证成绩单一比一原版制作
zyfovom
 
Gen Z and the marketplaces - let's translate their needs
Gen Z and the marketplaces - let's translate their needsGen Z and the marketplaces - let's translate their needs
Gen Z and the marketplaces - let's translate their needs
Laura Szabó
 
manuaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaal
manuaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaalmanuaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaal
manuaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaal
wolfsoftcompanyco
 
不能毕业如何获得(USYD毕业证)悉尼大学毕业证成绩单一比一原版制作
不能毕业如何获得(USYD毕业证)悉尼大学毕业证成绩单一比一原版制作不能毕业如何获得(USYD毕业证)悉尼大学毕业证成绩单一比一原版制作
不能毕业如何获得(USYD毕业证)悉尼大学毕业证成绩单一比一原版制作
bseovas
 
成绩单ps(UST毕业证)圣托马斯大学毕业证成绩单快速办理
成绩单ps(UST毕业证)圣托马斯大学毕业证成绩单快速办理成绩单ps(UST毕业证)圣托马斯大学毕业证成绩单快速办理
成绩单ps(UST毕业证)圣托马斯大学毕业证成绩单快速办理
ysasp1
 
[HUN][hackersuli] Red Teaming alapok 2024
[HUN][hackersuli] Red Teaming alapok 2024[HUN][hackersuli] Red Teaming alapok 2024
[HUN][hackersuli] Red Teaming alapok 2024
hackersuli
 
Understanding User Behavior with Google Analytics.pdf
Understanding User Behavior with Google Analytics.pdfUnderstanding User Behavior with Google Analytics.pdf
Understanding User Behavior with Google Analytics.pdf
SEO Article Boost
 
假文凭国外(Adelaide毕业证)澳大利亚国立大学毕业证成绩单办理
假文凭国外(Adelaide毕业证)澳大利亚国立大学毕业证成绩单办理假文凭国外(Adelaide毕业证)澳大利亚国立大学毕业证成绩单办理
假文凭国外(Adelaide毕业证)澳大利亚国立大学毕业证成绩单办理
cuobya
 
Bridging the Digital Gap Brad Spiegel Macon, GA Initiative.pptx
Bridging the Digital Gap Brad Spiegel Macon, GA Initiative.pptxBridging the Digital Gap Brad Spiegel Macon, GA Initiative.pptx
Bridging the Digital Gap Brad Spiegel Macon, GA Initiative.pptx
Brad Spiegel Macon GA
 
重新申请毕业证书(RMIT毕业证)皇家墨尔本理工大学毕业证成绩单精仿办理
重新申请毕业证书(RMIT毕业证)皇家墨尔本理工大学毕业证成绩单精仿办理重新申请毕业证书(RMIT毕业证)皇家墨尔本理工大学毕业证成绩单精仿办理
重新申请毕业证书(RMIT毕业证)皇家墨尔本理工大学毕业证成绩单精仿办理
vmemo1
 
APNIC Foundation, presented by Ellisha Heppner at the PNG DNS Forum 2024
APNIC Foundation, presented by Ellisha Heppner at the PNG DNS Forum 2024APNIC Foundation, presented by Ellisha Heppner at the PNG DNS Forum 2024
APNIC Foundation, presented by Ellisha Heppner at the PNG DNS Forum 2024
APNIC
 
可查真实(Monash毕业证)西澳大学毕业证成绩单退学买
可查真实(Monash毕业证)西澳大学毕业证成绩单退学买可查真实(Monash毕业证)西澳大学毕业证成绩单退学买
可查真实(Monash毕业证)西澳大学毕业证成绩单退学买
cuobya
 

Recently uploaded (20)

一比一原版(CSU毕业证)加利福尼亚州立大学毕业证成绩单专业办理
一比一原版(CSU毕业证)加利福尼亚州立大学毕业证成绩单专业办理一比一原版(CSU毕业证)加利福尼亚州立大学毕业证成绩单专业办理
一比一原版(CSU毕业证)加利福尼亚州立大学毕业证成绩单专业办理
 
Internet of Things in Manufacturing: Revolutionizing Efficiency & Quality | C...
Internet of Things in Manufacturing: Revolutionizing Efficiency & Quality | C...Internet of Things in Manufacturing: Revolutionizing Efficiency & Quality | C...
Internet of Things in Manufacturing: Revolutionizing Efficiency & Quality | C...
 
制作毕业证书(ANU毕业证)莫纳什大学毕业证成绩单官方原版办理
制作毕业证书(ANU毕业证)莫纳什大学毕业证成绩单官方原版办理制作毕业证书(ANU毕业证)莫纳什大学毕业证成绩单官方原版办理
制作毕业证书(ANU毕业证)莫纳什大学毕业证成绩单官方原版办理
 
办理新西兰奥克兰大学毕业证学位证书范本原版一模一样
办理新西兰奥克兰大学毕业证学位证书范本原版一模一样办理新西兰奥克兰大学毕业证学位证书范本原版一模一样
办理新西兰奥克兰大学毕业证学位证书范本原版一模一样
 
国外证书(Lincoln毕业证)新西兰林肯大学毕业证成绩单不能毕业办理
国外证书(Lincoln毕业证)新西兰林肯大学毕业证成绩单不能毕业办理国外证书(Lincoln毕业证)新西兰林肯大学毕业证成绩单不能毕业办理
国外证书(Lincoln毕业证)新西兰林肯大学毕业证成绩单不能毕业办理
 
Should Repositories Participate in the Fediverse?
Should Repositories Participate in the Fediverse?Should Repositories Participate in the Fediverse?
Should Repositories Participate in the Fediverse?
 
制作原版1:1(Monash毕业证)莫纳什大学毕业证成绩单办理假
制作原版1:1(Monash毕业证)莫纳什大学毕业证成绩单办理假制作原版1:1(Monash毕业证)莫纳什大学毕业证成绩单办理假
制作原版1:1(Monash毕业证)莫纳什大学毕业证成绩单办理假
 
Search Result Showing My Post is Now Buried
Search Result Showing My Post is Now BuriedSearch Result Showing My Post is Now Buried
Search Result Showing My Post is Now Buried
 
学位认证网(DU毕业证)迪肯大学毕业证成绩单一比一原版制作
学位认证网(DU毕业证)迪肯大学毕业证成绩单一比一原版制作学位认证网(DU毕业证)迪肯大学毕业证成绩单一比一原版制作
学位认证网(DU毕业证)迪肯大学毕业证成绩单一比一原版制作
 
Gen Z and the marketplaces - let's translate their needs
Gen Z and the marketplaces - let's translate their needsGen Z and the marketplaces - let's translate their needs
Gen Z and the marketplaces - let's translate their needs
 
manuaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaal
manuaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaalmanuaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaal
manuaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaal
 
不能毕业如何获得(USYD毕业证)悉尼大学毕业证成绩单一比一原版制作
不能毕业如何获得(USYD毕业证)悉尼大学毕业证成绩单一比一原版制作不能毕业如何获得(USYD毕业证)悉尼大学毕业证成绩单一比一原版制作
不能毕业如何获得(USYD毕业证)悉尼大学毕业证成绩单一比一原版制作
 
成绩单ps(UST毕业证)圣托马斯大学毕业证成绩单快速办理
成绩单ps(UST毕业证)圣托马斯大学毕业证成绩单快速办理成绩单ps(UST毕业证)圣托马斯大学毕业证成绩单快速办理
成绩单ps(UST毕业证)圣托马斯大学毕业证成绩单快速办理
 
[HUN][hackersuli] Red Teaming alapok 2024
[HUN][hackersuli] Red Teaming alapok 2024[HUN][hackersuli] Red Teaming alapok 2024
[HUN][hackersuli] Red Teaming alapok 2024
 
Understanding User Behavior with Google Analytics.pdf
Understanding User Behavior with Google Analytics.pdfUnderstanding User Behavior with Google Analytics.pdf
Understanding User Behavior with Google Analytics.pdf
 
假文凭国外(Adelaide毕业证)澳大利亚国立大学毕业证成绩单办理
假文凭国外(Adelaide毕业证)澳大利亚国立大学毕业证成绩单办理假文凭国外(Adelaide毕业证)澳大利亚国立大学毕业证成绩单办理
假文凭国外(Adelaide毕业证)澳大利亚国立大学毕业证成绩单办理
 
Bridging the Digital Gap Brad Spiegel Macon, GA Initiative.pptx
Bridging the Digital Gap Brad Spiegel Macon, GA Initiative.pptxBridging the Digital Gap Brad Spiegel Macon, GA Initiative.pptx
Bridging the Digital Gap Brad Spiegel Macon, GA Initiative.pptx
 
重新申请毕业证书(RMIT毕业证)皇家墨尔本理工大学毕业证成绩单精仿办理
重新申请毕业证书(RMIT毕业证)皇家墨尔本理工大学毕业证成绩单精仿办理重新申请毕业证书(RMIT毕业证)皇家墨尔本理工大学毕业证成绩单精仿办理
重新申请毕业证书(RMIT毕业证)皇家墨尔本理工大学毕业证成绩单精仿办理
 
APNIC Foundation, presented by Ellisha Heppner at the PNG DNS Forum 2024
APNIC Foundation, presented by Ellisha Heppner at the PNG DNS Forum 2024APNIC Foundation, presented by Ellisha Heppner at the PNG DNS Forum 2024
APNIC Foundation, presented by Ellisha Heppner at the PNG DNS Forum 2024
 
可查真实(Monash毕业证)西澳大学毕业证成绩单退学买
可查真实(Monash毕业证)西澳大学毕业证成绩单退学买可查真实(Monash毕业证)西澳大学毕业证成绩单退学买
可查真实(Monash毕业证)西澳大学毕业证成绩单退学买
 

context free grammars_simplification

  • 1. Costas Busch - LSU 1 Simplifications of Context-Free Grammars
  • 2. Costas Busch - LSU 2 A Substitution Rule bB aAB abBcA aaAA aBS      Substitute Equivalent grammar aAB abbcabBcA aaAA abaBS     | | bB 
  • 3. Costas Busch - LSU 3 Equivalent grammarabaAcabbcabBcA aaAA aaAabaBS || ||    aAB abbcabBcA aaAA abaBS     | | Substitute aAB 
  • 4. Costas Busch - LSU 4 In general: 1yB xBzA   Substitute zxyxBzA 1| equivalent grammar 1yB 
  • 5. Costas Busch - LSU 5 Nullable Variables :production X Nullable Variable: Y Example:    M aMbM aMbS Nullable variable production
  • 6. Costas Busch - LSU 6 M    M aMbM aMbS Substitute abaMbM abaMbS | |   Removing sproduction After we remove all the all the nullable variables disappear (except for the start variable) sproduction
  • 7. Costas Busch - LSU 7 Unit-Productions YX Unit Production: (a single variable in both sides) bbB AB BA aA aAS     Example: Unit Productions
  • 8. Costas Busch - LSU 8 bbB AB BA aA aAS      Substitute BA  bbB BAB aA aBaAS     | | Removal of unit productions:
  • 9. Costas Busch - LSU 9 Remove bbB BAB aA aBaAS     | | bbB AB aA aBaAS     | BB  XX  can be removed immediately Unit productions of form
  • 10. Costas Busch - LSU 10 Substitute AB  bbB aA aAaBaAS    || bbB AB aA aBaAS     |
  • 11. Costas Busch - LSU 11 Remove repeated productions bbB aA aBaAS    | bbB aA aAaBaAS    || Final grammar
  • 12. Costas Busch - LSU 12 Useless Productions aAA AS S aSbS        aAaaaaAaAAS Some derivations never terminate... Useless Production
  • 13. Costas Busch - LSU 13 bAB A aAA AS      Another grammar: Not reachable from S Useless Production
  • 14. Costas Busch - LSU 14 In general: If there is a derivation )(GLwxAyS   Then variable is usefulA Otherwise, variable is uselessA consists of terminals
  • 15. Costas Busch - LSU 15 A production is useless if any of its variables is useless xA  DC CB aAA AS S aSbS        Productions useless useless useless useless Variables useless useless useless
  • 16. Costas Busch - LSU 16 Example Grammar: aCbC aaB aA CAaSS     || Removing Useless Variables and Productions
  • 17. Costas Busch - LSU 17 First: find all variables that can produce strings with only terminals or aCbC aaB aA CAaSS     || },{ BA },,{ SBA Round 1: Round 2: (possible useful variables)  (the right hand side of production that has only terminals) (the right hand side of a production has terminals and variables of previous round) This process can be generalized
  • 18. Costas Busch - LSU 18 Then, remove productions that use variables other than aCbC aaB aA CAaSS     || },,{ SBA aaB aA AaSS    |
  • 19. Costas Busch - LSU 19 Second: Find all variables reachable from aaB aA AaSS    | S A B Use a Dependency Graph where nodes are variables unreachable S
  • 20. Costas Busch - LSU 20 Keep only the variables reachable from S aaB aA AaSS    | aA AaSS   | Final Grammar Contains only useful variables
  • 21. Costas Busch - LSU 21 Removing All Step 1: Remove Nullable Variables Step 2: Remove Unit-Productions Step 3: Remove Useless Variables This sequence guarantees that unwanted variables and productions are removed