Можно ли создать программу с использованием AS3, которая позволила бы пользователю загружать копию динамического, самостоятельно сгенерированного видео в формат AVI, MOV или MP4 ???
Стандартный формат видео Flash - FLV / F4V, и есть несколько библиотек и классов, которые помогут вам создавать собственные на лету во время выполнения.
Если вы работаете в AIR, вы можете использовать: http://www.zeropointnine.com/blog/simpleflvwriteras-as3-class-to-create-flvs/ для генерации несжатых FLV