Ilmu Komputer

33
Apa sebenarnya perbedaan semantik antara set dan tipe?

EDIT: Saya sekarang telah mengajukan pertanyaan serupa tentang perbedaan antara kategori dan set. Setiap kali saya membaca tentang teori jenis (yang memang agak informal), saya tidak dapat benar-benar memahami perbedaannya dari teori himpunan, secara konkret . Saya mengerti bahwa ada perbedaan...

33
Bahasa reguler planar

Di kelas saya seorang siswa bertanya apakah semua automata terbatas dapat digambar tanpa melewati batas (sepertinya semua contoh saya lakukan). Tentu saja jawabannya negatif, otomat yang jelas untuk bahasa memiliki struktur , grafik lengkap pada lima node . Yuval telah menunjukkan struktur yang...