Jest to aplikacja dla systemu Windows o nazwie Combinatory Reduction Systems Extended, której najnowszą wersję można pobrać w pliku crsx401.zip. Można go uruchomić online w bezpłatnym dostawcy hostingu OnWorks dla stacji roboczych.
Pobierz i uruchom online aplikację o nazwie Combinatory Reduction Systems Extended with OnWorks za darmo.
Postępuj zgodnie z tymi instrukcjami, aby uruchomić tę aplikację:
- 1. Pobrałem tę aplikację na swój komputer.
- 2. Wpisz w naszym menedżerze plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 3. Prześlij tę aplikację w takim menedżerze plików.
- 4. Uruchom dowolny emulator online systemu operacyjnego OnWorks z tej witryny, ale lepszy emulator online systemu Windows.
- 5. W systemie operacyjnym OnWorks Windows, który właśnie uruchomiłeś, przejdź do naszego menedżera plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 6. Pobierz aplikację i zainstaluj ją.
- 7. Pobierz Wine z repozytoriów oprogramowania dystrybucji Linuksa. Po zainstalowaniu możesz dwukrotnie kliknąć aplikację, aby uruchomić ją za pomocą Wine. Możesz także wypróbować PlayOnLinux, fantazyjny interfejs w Wine, który pomoże Ci zainstalować popularne programy i gry Windows.
Wine to sposób na uruchamianie oprogramowania Windows w systemie Linux, ale bez systemu Windows. Wine to warstwa kompatybilności z systemem Windows typu open source, która może uruchamiać programy systemu Windows bezpośrednio na dowolnym pulpicie systemu Linux. Zasadniczo Wine próbuje ponownie zaimplementować system Windows od podstaw, aby mógł uruchamiać wszystkie te aplikacje Windows bez faktycznego korzystania z systemu Windows.
Rozszerzone kombinacyjne systemy redukcyjne
OPIS:
Implementacja Kombinacyjnych Systemów Redukcyjnych (CRS) z rozszerzeniami eksperymentalnymi w Javie. CRS to formalizm przepisywania wyższego rzędu wymyślony przez JWKlop w 1980. Więcej szczegółów można znaleźć w projekcie/witrynie internetowej.
Korzyści
- Przepisanie terminu
- Generuj kompilatory na podstawie formalnych specyfikacji
- Przepisywanie wyższego rzędu
- Rachunek lambda
Publiczność
Zaawansowani użytkownicy końcowi, nauka/badania
Interfejs użytkownika
Wiersz poleceń, Eclipse
Język programowania
C, Jawa
Jest to aplikacja, którą można również pobrać ze strony https://sourceforge.net/projects/crsx/. Został on hostowany w OnWorks, aby można go było uruchomić online w najprostszy sposób z jednego z naszych bezpłatnych systemów operacyjnych.