You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
For me, Top-down Enumeration means "A maze with crossroads, with a brilliant gemstone in the center".
Long Description (up to 3 sentences)
At each stage of top-down enumeration, we generate larger programs by taking finite number of crossroads from one program, according to the given grammar, just as we find our way through a maze. If we face a ground program, but the program does not satisfy the given specification, we have reached a dead end in a maze, so we have to go back and try other crossroads. If we have enough time, we can find a ground program that satisfy our needs, expressed as a brilliant gemstone in the painting.
This discussion was converted from issue #198 on May 30, 2024 23:57.
Heading
Bold
Italic
Quote
Code
Link
Numbered list
Unordered list
Task list
Attach files
Mention
Reference
Menu
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
-
Name
Jihwan Park
Tool You Used
Adobe Firefly
Short Description
For me, Top-down Enumeration means "A maze with crossroads, with a brilliant gemstone in the center".
Long Description (up to 3 sentences)
At each stage of top-down enumeration, we generate larger programs by taking finite number of crossroads from one program, according to the given grammar, just as we find our way through a maze. If we face a ground program, but the program does not satisfy the given specification, we have reached a dead end in a maze, so we have to go back and try other crossroads. If we have enough time, we can find a ground program that satisfy our needs, expressed as a brilliant gemstone in the painting.
Beta Was this translation helpful? Give feedback.
All reactions