Pertanyaan yang diberi tag «programming-languages»

Pertanyaan terkait dengan desain, implementasi, dan analisis bahasa pemrograman. BUKAN untuk pertanyaan tentang cara memprogram, yang di luar topik di situs ini.


1
Secara formal menggambarkan bahasa pemrograman khusus domain baru
Saya akan mengimplementasikan bahasa khusus domain untuk representasi konvensi pembelajaran sosial. Bagian dari implementasi adalah deskripsi formal bahasa - 'kalkulus', simbol dan ekspresi logisnya. Pendekatan saya adalah mendeskripsikan bahasa dengan menjelaskan tata bahasanya tetapi ada juga konsep-konsep seperti hubungan, dialog, harapan yang membutuhkan lebih banyak pendekatan teoretis dan deskripsi logikanya. …

1
Formalisasi Seperti Mesin Turing untuk Model Aktor
Mesin Turing memiliki alfabet simbol formal , status dan deskripsi transisi-aturan berdasarkan bagaimana komputasi dilakukan. Actor Model kadang-kadang disebut sebagai model komputasi yang lebih kuat daripada mesin Turing (bukan pada apa yang dapat dikomputasi, tetapi dalam aspek lain). Apakah The Actor Model merupakan alternatif mesin Menghidupkan penuh sebagai model komputasi? …

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.