Mô phỏng Giải quyết vấn đề với sự trợ giúp của máy tính

Đồ thị số bước theo kích thước dữ liệu n của các hàm log₂n, n, n·log₂n, n² kèm số phép so sánh đo thực tế của sắp xếp nổi bọt và sắp xếp nhanh. Học sinh kéo con trỏ n trên đồ thị để đọc giá trị, rồi bấm Chạy đua để xem hai thuật toán sắp xếp cùng một dãy với cùng tốc độ bước: sắp xếp nhanh (n log n) về đích trước nổi bọt (n²) và khoảng cách càng lớn khi n tăng.

Chạy từng bước các máy trạng thái mẫu (đèn giao thông, máy bán nước, cửa quay) với một dãy sự kiện, xem trạng thái hiện tại, đầu ra và bảng theo dõi; tự thêm, kéo và nối trạng thái để vẽ máy của riêng mình. Chế độ Ôtômat đoán nhận kiểm tra từ nào được DFA hoặc NFA chấp nhận (số nhị phân chia hết cho 3, từ kết thúc bằng ab), kèm bảng chuyển trạng thái, biểu thức chính quy, ngữ pháp chính quy và cách đổi NFA thành DFA. Một ghi chú so sánh mô hình với hệ thống thật để bàn về trừu tượng hoá.

Danh sách hiện thành các ô có chỉ số và con trỏ. Học sinh đọc, ghi, thêm vào cuối, chèn và xoá phần tử, thấy các phần tử dịch chuyển, độ dài thay đổi và lỗi chỉ số ngoài phạm vi; chuyển sang mảng kích thước cố định để so với danh sách động. Chế độ mảng hai chiều duyệt từng bước theo hàng hoặc theo cột với grid[r][c]; chế độ từ điển tra cứu theo khoá; chế độ tham chiếu cho thấy hai tên cùng trỏ tới một danh sách. Mã của mỗi thao tác hiện bằng Python, Java hoặc mã giả.

Cùng một chương trình ngắn được dịch bằng trình biên dịch (kiểm tra cả chương trình, liệt kê mọi lỗi cú pháp rồi tạo tệp chạy được) và bằng trình thông dịch (dịch và chạy từng câu lệnh, dừng ở lỗi đầu tiên). Bản hợp ngữ của chương trình đi qua trình hợp dịch hai lượt, đổi mã gợi nhớ thành mã máy nhị phân. Chèn lỗi cú pháp, lỗi khi chạy hoặc lỗi lôgic để xem lỗi được phát hiện lúc nào, rồi so thời gian chạy nhiều lần. Thẻ IDE minh hoạ tô màu cú pháp, báo lỗi, gợi ý hoàn thành mã, điểm dừng và cửa sổ theo dõi biến.