The project implements and compares the performance of the Brute Force and Horspool string matching algorithms. It reads a specified number of lines from an input text file Input Text File, generates ...
This is my bachelor thesis, where I implemented and I verified the Boyer-Moore-Horspool algorithm in F*. The thesis is divided in the following files: GlobalData.fst - the file where I described the ...
Abstract: Educational game was one of the computer-assisted learning types to increase student interest in learning. This study used educational games as a drill and practice method to test students' ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback