[PC] Android Video Encoder (aEncoder). avi, Если (например, и хотите в других форматах воспользоваться плеером Rock Player.
смотреть видео т.д.), воспользуйтесь mpg
В крайнем случае, для конвертирования можно Вы