This person is the primary discoverer of an algorithm that orients input identities, completes the resulting rules, detects critical pairs, obtains their normal forms, and adds a new rule for every normal pair per the reduction order; that algorithm yields confluent term re-writing systems.
This person is the primary discoverer of an algorithm that orients input identities, completes the resulting rules, detects critical pairs, obtains their normal forms, and adds a new rule for every normal pair per the reduction order; that algorithm yields confluent term re-writing systems. This scientist is the major author of a linear-time algorithm that compares a subject string to the beginning of an object string, then repeatedly jumps the former ahead by the distance to the first mismatch. Those algorithms are the completion algorithm named for him and (*) Bendix and the search algorithm named for him, Morris and Pratt. Power towers can be written easily in his notation, which represents numbers as integers connected by up arrows. For 10 points, name this author of the seminal The Art of Computer Programming.
This person is the primary discoverer of an algorithm that orients input identities, completes the resulting rules, detects critical pairs, obtains their normal forms, and adds a new rule for every normal pair per the reduction order; that algorithm yields confluent term re-writing systems.
Donald Ervin {Knuth}