Objective: To develop and transplant an artificial multi-tracheal syrinx (with 4 membranes per trachea) into any 2 familiar subjects to support multi-frequency vocalization. Teach them to hold a conversation with at least 5 different birds. Create finite automaton diagrams of RP (repertoire units), classify interpretations, and send the results to other animals for analysis
vyorkin / coq-fv Goto Github PK
View Code? Open in Web Editor NEW:construction: My notes and solutions to Coq course by Anton Trunov (source: https://github.com/anton-trunov/coq-lecture-notes) in 2019. WIP.
License: MIT License