2
बुची ऑटोमेटा और रैखिक
यह एक ज्ञात तथ्य है कि हर एलटीएल फॉर्मूला को बुची _ डिपोमाटन द्वारा व्यक्त किया जा सकता है । लेकिन, जाहिरा तौर पर, बुची ऑटोमेटा एक अधिक शक्तिशाली, अभिव्यंजक मॉडल है। मैंने कहीं सुना है कि बुची ऑटोमेटा रैखिक-समय कैलकुलस (यानी, _ -कुलकस के साथ सामान्य फ़िक्सपॉइंट और केवल …